{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Neural Networks in PyMC3 estimated with Variational Inference\n",
    "(c) 2016 by Thomas Wiecki"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Current trends in Machine Learning\n",
    "\n",
    "There are currently three big trends in machine learning: **Probabilistic Programming**, **Deep Learning** and \"**Big Data**\". Inside of PP, a lot of innovation is in making things scale using **Variational Inference**. In this blog post, I will show how to use **Variational Inference** in [PyMC3](http://pymc-devs.github.io/pymc3/) to fit a simple Bayesian Neural Network. I will also discuss how bridging Probabilistic Programming and Deep Learning can open up very interesting avenues to explore in future research.\n",
    "\n",
    "### Probabilistic Programming at scale\n",
    "**Probabilistic Programming** allows very flexible creation of custom probabilistic models and is mainly concerned with **insight** and learning from your data. The approach is inherently **Bayesian** so we can specify **priors** to inform and constrain our models and get uncertainty estimation in form of a **posterior** distribution. Using [MCMC sampling algorithms](http://twiecki.github.io/blog/2015/11/10/mcmc-sampling/) we can draw samples from this posterior to very flexibly estimate these models. [PyMC3](http://pymc-devs.github.io/pymc3/) and [Stan](http://mc-stan.org/) are the current state-of-the-art tools to consruct and estimate these models. One major drawback of sampling, however, is that it's often very slow, especially for high-dimensional models. That's why more recently, **variational inference** algorithms have been developed that are almost as flexible as MCMC but much faster. Instead of drawing samples from the posterior, these algorithms instead fit a distribution (e.g. normal) to the posterior turning a sampling problem into and optimization problem. [ADVI](http://arxiv.org/abs/1506.03431) -- Automatic Differentation Variational Inference -- is implemented in [PyMC3](http://pymc-devs.github.io/pymc3/) and [Stan](http://mc-stan.org/), as well as a new package called [Edward](https://github.com/blei-lab/edward/) which is mainly concerned with Variational Inference. \n",
    "\n",
    "Unfortunately, when it comes to traditional ML problems like classification or (non-linear) regression, Probabilistic Programming often plays second fiddle (in terms of accuracy and scalability) to more algorithmic approaches like [ensemble learning](https://en.wikipedia.org/wiki/Ensemble_learning) (e.g. [random forests](https://en.wikipedia.org/wiki/Random_forest) or [gradient boosted regression trees](https://en.wikipedia.org/wiki/Boosting_(machine_learning)).\n",
    "\n",
    "### Deep Learning\n",
    "\n",
    "Now in its third renaissance, deep learning has been making headlines repeatadly by dominating almost any object recognition benchmark, [kicking ass at Atari games](https://www.cs.toronto.edu/~vmnih/docs/dqn.pdf), and [beating the world-champion Lee Sedol at Go](http://www.nature.com/nature/journal/v529/n7587/full/nature16961.html). From a statistical point, Neural Networks are extremely good non-linear function approximators and representation learners. While mostly known for classification, they have been extended to unsupervised learning with [AutoEncoders](https://arxiv.org/abs/1312.6114) and in all sorts of other interesting ways (e.g. [Recurrent Networks](https://en.wikipedia.org/wiki/Recurrent_neural_network), or [MDNs](http://cbonnett.github.io/MDN_EDWARD_KERAS_TF.html) to estimate multimodal distributions). Why do they work so well? No one really knows as the statistical properties are still not fully understood.\n",
    "\n",
    "A large part of the innoviation in deep learning is the ability to train these extremely complex models. This rests on several pillars:\n",
    "* Speed: facilitating the GPU allowed for much faster processing.\n",
    "* Software: frameworks like [Theano](http://deeplearning.net/software/theano/) and [TensorFlow](https://www.tensorflow.org/) allow flexible creation of abstract models that can then be optimized and compiled to CPU or GPU.\n",
    "* Learning algorithms: training on sub-sets of the data -- stochastic gradient descent -- allows us to train these models on massive amounts of data. Techniques like drop-out avoid overfitting.\n",
    "* Architectural: A lot of innovation comes from changing the input layers, like for convolutional neural nets, or the output layers, like for [MDNs](http://cbonnett.github.io/MDN_EDWARD_KERAS_TF.html).\n",
    "\n",
    "### Bridging Deep Learning and Probabilistic Programming\n",
    "On one hand we Probabilistic Programming which allows us to build rather small and focused models in a very principled and well-understood way to gain insight into our data; on the other hand we have deep learning which uses many heuristics to train huge and highly complex models that are amazing at prediction. Recent innovations in variational inference allow probabilistic programming to scale model complexity as well as data size. We are thus at the cusp of being able to combine these two approaches to hopefully unlock new innovations in Machine Learning. For more motivation, see also [Dustin Tran's](https://twitter.com/dustinvtran) recent [blog post](http://dustintran.com/blog/a-quick-update-edward-and-some-motivations/).\n",
    "\n",
    "While this would allow Probabilistic Programming to be applied to a much wider set of interesting problems, I believe this bridging also holds great promise for innovations in Deep Learning. Some ideas are:\n",
    "* **Uncertainty in predictions**: As we will see below, the Bayesian Neural Network informs us about the uncertainty in its predictions. I think uncertainty is an underappreciated concept in Machine Learning as it's clearly important for real-world applications. But it could also be useful in training. For example, we could train the model specifically on samples it is most uncertain about.\n",
    "* **Uncertainty in representations**: We also get uncertainty estimates of our weights which could inform us about the stability of the learned representations of the network.\n",
    "* **Regularization with priors**: Weights are often L2-regularized to avoid overfitting, this very naturally becomes a Gaussian prior for the weight coefficients. We could, however, imagine all kinds of other priors, like spike-and-slab to enforce sparsity (this would be more like using the L1-norm).\n",
    "* **Transfer learning with informed priors**: If we wanted to train a network on a new object recognition data set, we could bootstrap the learning by placing informed priors centered around weights retrieved from other pre-trained networks, like [GoogLeNet](https://arxiv.org/abs/1409.4842). \n",
    "* **Hierarchical Neural Networks**: A very powerful approach in Probabilistic Programming is hierarchical modeling that allows pooling of things that were learned on sub-groups to the overall population (see my tutorial on [Hierarchical Linear Regression in PyMC3](http://twiecki.github.io/blog/2014/03/17/bayesian-glms-3/)). Applied to Neural Networks, in hierarchical data sets, we could train individual neural nets to specialize on sub-groups while still being informed about representations of the overall population. For example, imagine a network trained to classify car models from pictures of cars. We could train a hierarchical neural network where a sub-neural network is trained to tell apart models from only a single manufacturer. The intuition being that all cars from a certain manufactures share certain similarities so it would make sense to train individual networks that specialize on brands. However, due to the individual networks being connected at a higher layer, they would still share information with the other specialized sub-networks about features that are useful to all brands. Interestingly, different layers of the network could be informed by various levels of the hierarchy -- e.g. early layers that extract visual lines could be identical in all sub-networks while the higher-order representations would be different. The hierarchical model would learn all that from the data.\n",
    "* **Other hybrid architectures**: We can more freely build all kinds of neural networks. For example, Bayesian non-parametrics could be used to flexibly adjust the size and shape of the hidden layers to optimally scale the network architecture to the problem at hand during training. Currently, this requires costly hyper-parameter optimization and a lot of tribal knowledge."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Bayesian Neural Networks in PyMC3"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Generating data\n",
    "\n",
    "First, lets generate some toy data -- a simple binary classification problem that's not linearly separable."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "/Users/matthewdixon/anaconda/lib/python2.7/site-packages/sklearn/cross_validation.py:44: DeprecationWarning: This module was deprecated in version 0.18 in favor of the model_selection module into which all the refactored classes and functions are moved. Also note that the interface of the new CV iterators are different from that of this module. This module will be removed in 0.20.\n",
      "  \"This module will be removed in 0.20.\", DeprecationWarning)\n"
     ]
    }
   ],
   "source": [
    "%matplotlib inline\n",
    "import pymc3 as pm\n",
    "import theano.tensor as T\n",
    "import theano\n",
    "import sklearn\n",
    "import numpy as np\n",
    "import matplotlib.pyplot as plt\n",
    "import seaborn as sns\n",
    "sns.set_style('white')\n",
    "#from pymc3.variational import advi\n",
    "from sklearn import datasets\n",
    "from sklearn.preprocessing import scale\n",
    "from sklearn.cross_validation import train_test_split\n",
    "from sklearn.datasets import make_moons"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 49,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "X, Y = make_moons(noise=0.0, random_state=0, n_samples=100)\n",
    "X = scale(X)\n",
    "X_train, X_test, Y_train, Y_test = train_test_split(X, Y, test_size=0)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "fig, ax = plt.subplots()\n",
    "ax.scatter(X[Y==0, 0], X[Y==0, 1], label='Class 0')\n",
    "ax.scatter(X[Y==1, 0], X[Y==1, 1], color='r', label='Class 1')\n",
    "sns.despine(); ax.legend()\n",
    "ax.set(xlabel='X', ylabel='Y', title='Toy binary classification data set');"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Model specification\n",
    "\n",
    "A neural network is quite simple. The basic unit is a [perceptron](https://en.wikipedia.org/wiki/Perceptron) which is nothing more than [logistic regression](http://pymc-devs.github.io/pymc3/notebooks/posterior_predictive.html#Prediction). We use many of these in parallel and then stack them up to get hidden layers. Here we will use 2 hidden layers with 5 neurons each which is sufficient for such a simple problem."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 134,
   "metadata": {},
   "outputs": [],
   "source": [
    "# Trick: Turn inputs and outputs into shared variables. \n",
    "# It's still the same thing, but we can later change the values of the shared variable \n",
    "# (to switch in the test-data later) and pymc3 will just use the new data. \n",
    "# Kind-of like a pointer we can redirect.\n",
    "# For more info, see: http://deeplearning.net/software/theano/library/compile/shared.html\n",
    "ann_input = theano.shared(X_train)\n",
    "ann_output = theano.shared(Y_train)\n",
    "\n",
    "n_hidden = [100, 2]\n",
    "\n",
    "# Initialize random weights between each layer\n",
    "init_1 = np.random.randn(X.shape[1], n_hidden[0])\n",
    "init_2 = np.random.randn(n_hidden[0], n_hidden[1])\n",
    "init_out = np.random.randn(n_hidden[1])\n",
    "    \n",
    "with pm.Model() as neural_network:\n",
    "    # Weights from input to hidden layer\n",
    "    weights_in_1 = pm.Normal('w_in_1', 0, sd=1, \n",
    "                             shape=(X.shape[1], n_hidden[0]), \n",
    "                             testval=init_1)\n",
    "    \n",
    "    # Weights from 1st to 2nd layer\n",
    "    weights_1_2 = pm.Normal('w_1_2', 0, sd=1, \n",
    "                            shape=(n_hidden[0], n_hidden[1]), \n",
    "                            testval=init_2)\n",
    "    \n",
    "    # Weights from hidden layer to output\n",
    "    weights_2_out = pm.Normal('w_2_out', 0, sd=1, \n",
    "                              shape=(n_hidden[1],), \n",
    "                              testval=init_out)\n",
    "    \n",
    "    # Build neural-network using tanh activation function\n",
    "    #x = T.dot(ann_input, weights_in_1)\n",
    "    act_1 = T.tanh(T.dot(ann_input, weights_in_1))   #T.switch(x<0, 0, x)\n",
    "    #x = T.dot(act_1, weights_1_2)\n",
    "    act_2 = T.tanh(T.dot(act_1, weights_1_2))        #T.switch(x<0, 0, x)\n",
    "    act_out = T.nnet.sigmoid(T.dot(act_2, \n",
    "                                   weights_2_out))\n",
    "    \n",
    "    # Binary classification -> Bernoulli likelihood\n",
    "    out = pm.Bernoulli('out', \n",
    "                       act_out,\n",
    "                       observed=ann_output)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "That's not so bad. The `Normal` priors help regularize the weights. Usually we would add a constant `b` to the inputs but I omitted it here to keep the code cleaner."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Variational Inference: Scaling model complexity\n",
    "\n",
    "We could now just run a MCMC sampler like [`NUTS`](http://pymc-devs.github.io/pymc3/api.html#nuts) which works pretty well in this case but as I already mentioned, this will become very slow as we scale our model up to deeper architectures with more layers.\n",
    "\n",
    "Instead, we will use the brand-new [ADVI](http://pymc-devs.github.io/pymc3/api.html#advi) variational inference algorithm which was recently added to `PyMC3`. This is much faster and will scale better. Note, that this is a mean-field approximation so we ignore correlations in the posterior."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 135,
   "metadata": {},
   "outputs": [
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "Average Loss = 75.426: 100%|██████████| 50000/50000 [00:50<00:00, 989.30it/s] \n",
      "Finished [100%]: Average Loss = 75.4\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 47.8 s, sys: 10.1 s, total: 57.8 s\n",
      "Wall time: 52 s\n"
     ]
    }
   ],
   "source": [
    "%%time\n",
    "\n",
    "with neural_network:\n",
    "    \n",
    "    inference = pm.ADVI()\n",
    "    approx = pm.fit(n=50000, method=inference)\n",
    "    # Run ADVI which returns posterior means, standard deviations, and the evidence lower bound (ELBO)\n",
    "    #v_params = pm.ADVI(n=50000)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 25,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# http://docs.pymc.io/notebooks/bayesian_neural_network_advi.html?highlight=advi"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 136,
   "metadata": {},
   "outputs": [],
   "source": [
    "trace = approx.sample(draws=5000)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "< 40 seconds on my older laptop. That's pretty good considering that NUTS is having a really hard time. Further below we make this even faster. To make it really fly, we probably want to run the Neural Network on the GPU.\n",
    "\n",
    "As samples are more convenient to work with, we can very quickly draw samples from the variational posterior using `sample_vp()` (this is just sampling from Normal distributions, so not at all the same like MCMC):"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 137,
   "metadata": {},
   "outputs": [],
   "source": [
    "X_test= X_train\n",
    "Y_test= Y_train"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 138,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# create symbolic input\n",
    "x = T.matrix('X')\n",
    "# symbolic number of samples is supported, we build vectorized posterior on the fly\n",
    "n = T.iscalar('n')\n",
    "# Do not forget test_values or set theano.config.compute_test_value = 'off'\n",
    "x.tag.test_value = np.empty_like(X_train[:10])\n",
    "n.tag.test_value = 100\n",
    "_sample_proba = approx.sample_node(neural_network.out.distribution.p,\n",
    "                                   size=n,\n",
    "                                   more_replacements={ann_input: x})\n",
    "# It is time to compile the function\n",
    "# No updates are needed for Approximation random generator\n",
    "# Efficient vectorized form of sampling is used\n",
    "sample_proba = theano.function([x, n], _sample_proba)\n",
    "\n",
    "# Create bechmark functions\n",
    "def production_step1():\n",
    "    ann_input.set_value(X_test)\n",
    "    ann_output.set_value(Y_test)\n",
    "    with neural_network:\n",
    "        ppc = pm.sample_ppc(trace, samples=500, progressbar=False)\n",
    "\n",
    "    # Use probability of > 0.5 to assume prediction of class 1\n",
    "    pred = ppc['out'].mean(axis=0) > 0.5\n",
    "\n",
    "def production_step2():\n",
    "    sample_proba(X_test, 500).mean(0) > 0.5\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 139,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "1 loop, best of 3: 240 ms per loop\n"
     ]
    }
   ],
   "source": [
    "%timeit production_step1()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 144,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "pred = sample_proba(X_test, 500).mean(0) > 0.5"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 117,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(100,)"
      ]
     },
     "execution_count": 117,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "pred.shape"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 145,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Accuracy = 46.0%\n"
     ]
    }
   ],
   "source": [
    "print('Accuracy = {}%'.format((Y_test == pred).mean() * 100))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 133,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYYAAAETCAYAAAAyK6EVAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3Xt4E2W+B/BvmzRteqXcCh5b2CIItni4uYJSK7AuUgtF\nK5ciLYqPetRVwBUBFxUBK7iwi7ILR1CRx7vgiuCiuwgIyqVLQZCWy67FFjgUSqGltOktyXv+CIlJ\nM0lvycwk+X6exweTSZo370zmN/P+fu9MkBBCgIiI6JpgpRtARETqwsBAREQOGBiIiMgBAwMRETlg\nYCAiIgcMDERE5ICBgZp19uxZ9OvXDxkZGbb/xo0bh40bN7b7bz/22GP429/+BgDIyMhAVVWVy9de\nvXoVOTk5rf6Mr7/+GtnZ2U7P5+XlIT09vdn333jjjbh8+XKrPnPu3Ll4++23W/z6119/HZs2bWrV\nZ/zlL3/BN99806r32NuwYQM++OADAMBHH32ENWvWtPlvtdeZM2fw1FNPKfb55EirdAPIN4SFheGL\nL76wPb5w4QLS09ORnJyMvn37euQz7P++lCtXruDo0aMe+Sy1mTFjRqvfk5eXhxtuuKHNn3nw4EH0\n7t0bAJCVldXmv+MJ586dw88//6xoG+gXDAzUJnFxcejRoweKi4tx7NgxbNy4EbW1tYiMjMR7772H\nDRs24KOPPoLZbEaHDh3wwgsvoFevXrhw4QLmzp2LsrIyXHfddbh06ZLtb954443Yt28fOnbsiDff\nfBOff/45tFotevTogSVLlmDevHmoq6tDRkYG/va3v6G4uBivvPIKKisrYTKZkJ2djfvvvx+A5Qh8\ny5Yt6NChA3r06NHs9/n555+xcOFCGAwGlJWVoW/fvlixYgVCQ0MBACtWrMDRo0dhNpsxc+ZMjBgx\nAgBcfk97b7zxBrZt24aQkBDExsbi1VdfRdeuXR1eM3fuXPTu3RsPP/ww+vfvj0cffRR79uxBWVkZ\ncnJy8OCDDzq8/oMPPkBBQQFee+01aDQapKamYtmyZThw4ABMJhNuuukmzJ8/H5GRkfjwww/x8ccf\nIyQkBKGhoVi4cCF+/vln7NixA3v27EFYWBguX76MiooKvPjiixg5ciTuvfde7Nu3D6WlpRgzZgye\ne+45AMCaNWuwceNGREREYMiQIdi+fTt27Njh0LaamhrMmzcPJSUlCA4ORlJSEhYuXIjg4GDs2LED\nq1evRmNjI8LCwjBnzhzcfPPNmD9/Pi5cuICHH364VWda5CWCqBlnzpwRAwYMcHju0KFD4pZbbhHn\nzp0Tn332mbjlllvE1atXhRBC5OXliSlTpgiDwSCEEOK7774TY8aMEUII8cQTT4g///nPQgghiouL\nxYABA8Rnn30mhBCiT58+4tKlS+Kbb74Rv/3tb0VlZaUQQojc3FyxatUqh3Y0NjaKtLQ0UVBQIIQQ\noqqqSowZM0b88MMPYtu2bSItLU1cvXpVNDY2ikcffVRMnTrV6Xvt379f3HPPPUIIIZYsWSI2bdok\nhBCioaFBpKeni6+//trWrjfffFMIIcTJkyfFr3/9a3Hp0iW333POnDnirbfeEufOnRODBg0S9fX1\nQggh3n77bbFt2zantlhfb/289957TwghxNGjR0VycrKoq6tzes/UqVPFV199JYQQYuXKlWLJkiXC\nbDYLIYRYvny5eOmll4TRaBRJSUniwoULQgghPv/8c/Hxxx87feYbb7whXn75ZSGEECNGjBBLliwR\nQghx/vx50b9/f3H69Gmxe/duMXr0aHHlyhVhNpvFvHnzxIgRI5za9fnnn4vp06cLIYQwGo3iD3/4\ngyguLhY///yzSE9PF5cvXxZCCPHvf/9b3H777aKmpsZhXZDyeMZALWI9UgcAk8mE2NhY/PGPf0T3\n7t0BWI72IyMjAQDffvstSkpKMHnyZNv7r1y5gsrKSuzduxdz5swBAPTo0QO33nqr02ft27cPd999\nN2JiYgAA8+bNA2DJdVgVFxfj9OnTeP755x3aeOzYMRQVFeGuu+6ytSczMxPvvfee2+83e/Zs7Nmz\nB2vXrkVxcTHKyspgMBhsy61DLX369EGvXr3www8/4ODBgy6/p1VcXBz69u2Le++9F3fccQfuuOMO\nDBs2zG1bAGDUqFEAgKSkJDQ0NMBgMNjOXqR8++23uHr1Kvbu3QsAaGxsRKdOnaDRaHD33Xdj8uTJ\nuPPOO3H77bdj7NixLf78uLg4dOrUCVeuXMGuXbtw9913Izo6GgDwwAMPYP/+/U7vHTx4MP785z8j\nOzsbt912G6ZNm4YePXrggw8+QFlZmcPZT1BQEE6fPt1se0heDAzUIk1zDE2Fh4fb/t9sNiMjIwOz\nZ8+2PS4rK0NMTAyCgoIg7C7PpdU6b4IajQZBQUG2x1VVVU5JaZPJhOjoaIc2lZeXIyoqCn/84x8d\nPkOj0TT7/Z555hmYTCaMGTMGd955J0pLSx3+RnDwL3UaQghotVq339P+fe+//z6OHj2Kffv2ITc3\nF7feeivmz5/vtj3WIGDtB9HMJc3MZjOef/55pKamArAM59TX1wMAli1bhn//+9/Yu3cv1q5di40b\nN2L16tUt+nxrG6zfuSX9Gh8fj23btiEvLw/79+/HQw89hPnz58NsNmPYsGFYsWKF7bWlpaXo2rUr\n8vPz3baH5MWqJPK422+/HX//+99RVlYGwFLxMm3aNABASkoKPvnkEwCWhGNeXp7T+2+77TZs27YN\n1dXVAICVK1fi3XffhVarhclkghACv/rVrxAaGmoLDKWlpUhPT0dBQQFSUlLw9ddfo6qqCmazudmk\nNgB8//33ePLJJ5GWloagoCAcOXIEJpPJtvzzzz8HABQWFqKkpAT//d//7fZ7Wp04cQLp6eno1asX\nHnvsMTz44IM4efJkq/rTFY1GA6PRCAAYPnw4PvjgAzQ0NMBsNuOFF17An/70J1y+fBmpqano0KED\nHnzwQcycOdP2+fbvb4nU1FT885//xNWrVwHAZVXahx9+iHnz5mH48OGYPXs2hg8fjv/85z8YOnQo\n9uzZg6KiIgDArl27MG7cONTX10Oj0aCxsbE93UEexDMG8riUlBQ88sgjmD59OoKCghAZGYm//OUv\nCAoKwksvvYR58+ZhzJgx6Natm2RFU2pqKn766Sfb8M0NN9yARYsWQa/X46abbsKYMWPw0UcfYdWq\nVXjllVfw1ltvwWg0YsaMGRg8eDAA4OTJk8jMzER0dDT69u2LiooKt22eNWsWnnzyScTExECv1+OW\nW25xGOI4c+YMxo8fj6CgIPzpT39Chw4d3H5Pq759+2LMmDHIzMxEeHg4wsLCmj1baKkRI0Zg6dKl\naGxsxBNPPIGlS5fi3nvvhclkQr9+/TB37lxERkbi8ccfx4MPPoiwsDBoNBosXrwYAHDHHXdg0aJF\nLf68YcOGYeLEiZg0aRLCwsLQu3dv6PV6p9eNHz8e//rXv5CWlga9Xo/rrrsOOTk5iImJwcKFC/HM\nM8/YzkBWr16N8PBw9O7dGxqNBvfffz82bNjg0IckvyDR3DkqERGAo0eP4ocffrDNJVm3bh2OHDni\nMDRE/oGBgYhapLq6Gs8//zxOnTqFoKAgdO/eHYsWLUJcXJzSTSMPY2AgIiIHTD4TEZEDnw4MRqMR\nZ8+ebVVlBRERuefTgeH8+fMYNWoUzp8/r3RTiIj8hk8HBiIi8jwGBiIicsDAQEREDhgYiIjIAQMD\nERE5YGAgIiIHDAykuLoGI0rLa1DXYGzR80TkXby6KsmirsGIiqp6xEaHIkxn2exMJjPe2VKI/QWl\nuFhZiy4d9Bia3B3T0vph/dbjTs9PH5sEjSZY8m8RkefwV0Ue1XSn7WrnP31sEt7ZUojN352yvbes\nohabvzuFgqJynDpX5fS8WQgEBwW5DBhSn09ErafIL+fIkSNYtmyZ0+0W3333XWzYsAEdO3YEALz8\n8stITExUoonkRmuO/s1C4Mvvf7a917qTN5rMyD9+QfLvF5+vknx++4HTqK3/5eY51r8FwBZoeJZB\n1H6y/0LWrl2LzZs3S97go6CgAEuXLkVycrLczaIWaMvRvz5U+vaPeYXncelKneQys1n68+2Dgr39\nBaUwmszYurfY6fNbcpZBRI5kDwwJCQlYuXIlnnvuOadlhYWFWLNmDS5evIg777wTjz32mNzNIzdc\n7fzdHf272plXVNWhY3QoLlfVOy0LDnYdHKSUV9Zif0Gp5DJ3ZxmPjO/f8g8hCiCyHzKNHj1a8gbw\nAHDPPfdgwYIFWL9+PQ4ePIidO3fK3DqyZ18VVNdgdLnztR6Nt0bna0fuUnp2i5Z8Xh8qvd3ERodJ\nBhjA/VmG9Xux8onIkWoGW4UQmDZtGqKiogBY7vt77NgxjBgxQuGWBR6pIaP+vTq73PlXVNWjY3QY\nLlU5Dw3pQ7WorXfe6VqHc7SaYOwvKEV5Za0tWNhXJdk/3zRfYXVrUjfkH7+AsoqWB6fyylr872c/\n4mhROYeYiJpQTWCorq5Geno6tm7divDwcOTl5SEzM1PpZgWEpolZqSGj7flnXO7ku8TqMaRfnMMY\nv9WoW+JtY/z2O3nrDviR8f2RndbPKTEs9bzJZHb5t7SaYIc2W7lqc6hOi+35Zxy+Y9MhJiasKVAp\nvrVv2bIFBoMBkyZNwqxZs5CTkwOdTodhw4YhNTVV6eb5NakzgyH94nDgmKv7W0jfBdbd0b81AEjt\n/K3CdFp07+y8KTZ93l0gmT42CQBafJbh6rvsLyjFlNE34sN/nGTCmgKWT9/z+ezZsxg1ahS2b9+O\n66+/Xunm+Jy1m45KHmW7EgRgxJB4FBSVS+78AeWPst3No7C2OblXZ+ywO1uwFxwE3Dk4XnL5uJRE\nJqwpICh+xkDysd9pAnCZTHZVFdQlVo/HM28GgFYf/culJWcZAFBQVC6Zk+gUE4ajReWSf3t/QSmy\n0/oBcP39ifwBt+oA0NpksqtS0aHJ3W07QiV3/m3RNGAMTe4uebZ08w1dsOOg9NnExYparP7sRxQw\nYU1+zrd+3dQmrU0md72WTM4/fsFpyMhfuMpJPDD6Rhx1cTYRFqpxGGLinAjyVwwMfs7d/AN3yeRH\nxvdXPF/gTe4S2a7OJixZFmfWISZ/6yMKXDz/9UP2k7YqqupdDhnV1Zswckg8usbqERxkOVMYl5Jo\nO5q2DL9E+PUOT+o7Th+bhHEpiQ79MmpIvMtJcOWVtTh/qYYT5chv+O8vPgC5Kj/tHBOGi5XOk89a\nkkwORK4S1q6GmEJ1Wix8az/Kr9Qx70B+gVuuH7HmEsoqaiGEZQx8695iRIXrJF9vTSYHwplBW9j3\nS5hO6/ISHrX1RlysrLP1+ebvTuGdLYUyt5bIcxgY/IS7XEJ1bSPSbuvpcsiIWkZqiMnV1WOt12Ii\n8kU8RPR1BgNQWoqKkGiXuYTyylqMT70BD41N4pBROzQdYqpvNOHp5dIXeiyvrL3W1xymI9/DLdVX\nGY3As88CX3wBnD6NuPh4PNV9IP4yNBvmYMej2M4d9LYdk6/NP1Ajaz/WNRjRpYPe5US5Tbt+Qv7x\nC5zzQD6HW6ivevZZ4PXXgeJiwGxGcEkJ7tq/CdN3rXN6qf3ENPIcd3mHqHAdtu4tdsj3MPdAvoKB\nwRcZDMCmTZKLRvzfIVwfEcRcgkyk8g5pt/VEdW2j5OuZeyBfwMNIX1RaCpyRvmxD9KULWJF1Iy53\nuZ7j2jKQKm2tqKrHV/uKJV9vzT1wSI/UjGcMvsJgAIqKLP927w4kJEi/Lj4eoT3iWX4qM/vS1tjo\nUHTp4HxPc8CS7wkP03IyHKka9xxq1yTJjIQEICMDGDsWWLnS+fUZGUB4uPztJBtr7kHqshqR+hA8\ns2IXE9Kkatwa1a5JkhnFxZbHADBjBtCzJ6DRWP6dMQNYtky5tpKNVO4h8bponDpXxYQ0qR5v1KNm\nBgNw001ASYnzsp49gcJrO5TSUsvwEs8UVMd6varwMC2eWbFLsrS1a6wef31uJIf+SDV4xqBmbpLM\nOHPGsjw8HOjVi0FBpay5B0Od0e0ExIqqeplbRuQaA4MaWRPNMTFuk8zoLl1DT+rTXEI6NjrU4aq4\nREriuauaSCWaO3SQfi2TzD7FXUL610nd8N7W4w5XxWVSmpTEwKAm1kSzVXGx5d8BA4DKSsvwUXy8\nJSgwyexzXN01ziyE0x32eGc4UhIDg1q4mc2MykrgwAHgyhUmmX2Yq/s8PPnaDsnX885wpBSep6pF\nc4nmK1eYZPYT9pPh3N1hj0lpUgoDg9KYaA5o7pLSnWLCUN9oZDKaZKdIYDhy5Aiys7Odnt+xYwcy\nMzMxadIkfPrppwq0TEZGIzBzJpCUBPTpA9xyCxPNAcjdFVqra414evm3ePK1HVi76ShMJrPMraNA\nJfvg5dq1a7F582bo9Y5HSY2NjXj11VexceNG6PV6ZGVlYeTIkejcubPcTZQHE810TdOkdKhOg9p6\nE2rrLWcKTEaT3GQ/Y0hISMBKiWv8FBUVISEhATExMdDpdBg8eDAOHDggd/Pk0ZJE88mTlpnNK1YA\nWiYf/Zk1Kf3X50bi9d+PQKSLe3Tzkt0kF9kDw+jRo6GV2NFVV1cjKirK9jgiIgLV1dVyNk0+TDST\nhDCdFqEhGpQzGU0KU03yOTIyEjU1NbbHNTU1DoHCrzRz2WwmmgNXS2ZIE3mbagJDr169UFJSgsrK\nSjQ0NCA/Px8DBw5UulmeZzBYzhjS0qSXM9Ec0Nwlo63P87IZ5G2KD15v2bIFBoMBkyZNwty5c/Hw\nww9DCIHMzEzExcUp3TzPaXq5i/h4S6K5ogI4e5aJZrKRmiH966RuMAuBJ1/bwctmkNfxsttymTnT\nsQrJ6okngGee4YxmcmK9ZHdsdCje23pc8jpL41ISWalEHsdDDTm4q0LaupVBgSRZZ0gDlrMHKaxU\nIm9gYJBDS+6rQOQCL5tBcmNgkAOrkKgdWKlEcmNg8CLbjVe0OktiWQqrkKgZ7iqVhvSLQ0VVPYeT\nyKMUr0ryRyaTGe9sKXS48cqwlGmYLgSCN2/m5S6o1ZpWKnWKCUNUuA75xy/gq33FrFIij2JVkhes\n3XTUdQXJb3tZcgpMOFMbWCuVNu36CVv3FjstZ5USeQIPLTysrsHovoJEq+PlLqjNwnRaxEaHIv/4\nBcnlrFIiT2Bg8DBWkJC3cRsjb2Ng8DBWkJC3cRsjb2Ng8LDmrnXD+/dSe3EbI2/jFuRB1sTgA6Nv\nBOB4rRtrxQiRJ0hdT2locnc8MPpGlJbXIDY6lAGC2oxVSR4gVZ46NLk7poy+EVU1jfyRktdYD0ai\nI0Lw4T9OOm2DLF+ltuDeygPe2VLoUJ7KWzGSXCzXU9I6lUhzG6T24KFEOzVbnsrSQfIyboPkaQwM\n7cTSQVIat0HyNAaGdmLpICmN2yB5GgNDO7F0kJTGbZA8jVtMO7A8ldTCVfnqFJavUhuwXLUNWJ5K\namU9WImJCMEHLF+lNuLeqw1YnkpqxfJV8gQeOrQSSwNJ7biNUnsxMLQSSwNJ7biNUnsxMLQSSwO9\nzGAAioos/1KbcBv1b7ZbBnvxzI+BoZVYGuglRiMwcyaQlAT06WP5d+ZMy/PUKtxG/ZPJZMbaTUfx\n5Gs78NiSb/DkazuwdtNRmExmj3+WrFuI2WzGggULcPLkSeh0OixevBg9evSwLX/33XexYcMGdOzY\nEQDw8ssvIzExUc4mNquuwYgxt/WE0WRG/vELLE/1lGefBV5//ZfHxcW/PF6xQpEm+TKp8tUh/eIw\n5raeqGswMjj4IDmLXmTdOr755hs0NDTgk08+weHDh7FkyRKsXr3atrygoABLly5FcnKynM1qEakS\n1SH94jA2JRGdO+j5Q2sPgwHYtEl62RdfALm5vBVqK2k0wXhkfH9kp/VDeWUttnx3CvnHL+CrfcUs\nXfVBzRUUZKf18+g+SNat4uDBg0hJSQEADBgwAAUFBQ7LCwsLsWbNGmRlZeHNN9+Us2nNskbrsopa\nCGGJ1lv3FuOrvcUMCu1VWgqcOSO97MwZy3JqkzCdFl/tLcbWvcUO2+7m707hnS2FSjePWkjuggJZ\nA0N1dTUiIyNtjzUaDYx2Y8j33HMPFixYgPXr1+PgwYPYuXOnnM1zieV/Xta9O5CQIL0sPt6ynNqE\n265/kLugQNbAEBkZiZqaGttjs9kMrdZytC2EwLRp09CxY0fodDqkpqbi2LFjcjbPJZb/eVl4OJCR\nIb0sI4PDSO3Abdc/yF1QIGtgGDRoEHbv3g0AOHz4MPr06WNbVl1djfT0dNTU1EAIgby8PNXkGlj+\nJ4Nly4AZM4CePQGNxvLvjBmW56nNuO36j+ljkzAuJRFdY/UIDgK6xuoxLiXRK0Uvsg6O33XXXdiz\nZw8mT54MIQRyc3OxZcsWGAwGTJo0CbNmzUJOTg50Oh2GDRuG1NRUOZvnkjVa21cEWLH8z0O0Wkv1\nUW6uJafQvTvPFDyA267/sC8oqKiq9+o12XgRvRaoazA6VHY0LVFlZYcHGQwMDB5mX1FnX7rKijrf\nZL1QojcDA7cIN1iiKiOj0TKX4YsvgNOnLcnojAzLUJKW/dweLF31D66u6uyNdcdfnBtSE0q27i2G\n9toPjTyIE9y8zr501YpXXfUdck5w4yGCCyzzk1FzE9x43SSP4Dbtu+RedwwMLrDMT0ac4CYLbtO+\ny68nuPkSlvnJiBPcZMFt2nf59QQ3X8IrVMqIE9xkwW3ad8m97rgluOHqBuu8iqoXWCeyffGFZfgo\nPv6XqiTyGG7TvkvOdcd5DG5Y64XDw7Qw1Bm9WjdM1xgMwKlrlReJiTxb8BL7WngAXq+LJ8+oazDi\n/KUaAEHo1imc8xjk5K5emLzIaASef55zGWQQptOia2ywbHXx1D5yzmEAGBgkyVkvTHY4l0FW3M59\nh9zriocFTbDWWyGcyyArbue+Q4l1xcDQBGu9FcK5DLLidu47lFhXDAxNsNZbIZzLICtu575DiXXF\nwNAEa70VwrkMsuJ27juUWFdc+xJY660QzmWQFbdz3yH3uuI8hiZY360CBgPqS87gckRHxHaLZd97\nGefr+AgZfxdc+9fIXSdM0kwmM975Z9G19XCC60EGIZpgfPn9KW77amV3r5LQ06fRXYb5PQwM17Cm\nWx24HuTHPlc5Beb38HAArOlWC64H+bHPVU6h+T0MDGBNt1pwPciPfa5yCs3vYWAAa7rVgutBfuxz\nlVNofg8DA1jTrRZcD/Jjn6ucQvN7uNavYU23OnA9yI99rnIKzO/hPAY7lmudGwAIdOsUwaMlBdnP\nJ+F6kIetz7UmhF26aBmm4Ixz9TAYLDkFGdaLrL84s9mMBQsW4OTJk9DpdFi8eDF69OhhW75jxw78\n9a9/hVarRWZmJiZOnChLuziHQX3CdFrERlsnGILBQQZhwUD3xX/g/TDUSMagALgJDAaDAeEebsA3\n33yDhoYGfPLJJzh8+DCWLFmC1atXAwAaGxvx6quvYuPGjdDr9cjKysLIkSPRuXNnj7ZBCuu41YWB\nWiG8H4b62E1ukzNYu/yVZWRkID8/36MfdvDgQaSkpAAABgwYgIKCAtuyoqIiJCQkICYmBjqdDoMH\nD8aBAwc8+vlSWMetPtZAXVZRCyF+CdTvbClUumn+i/fDUCdrsC4uBszmX4L1s8969WNdBoaXXnoJ\n8+bNw9KlS9HQ0OCRD6uurkZkZKTtsUajgdFotC2LioqyLYuIiEB1dbVHPtcd1nGrCwO1Qng/DPVR\nMFi7DAzDhw/H5s2bIYTA/fffj/z8fJw7d872X1tERkaipqbG9thsNkN77XSo6bKamhqHQOEtrONW\nFwZqhfB+GOqjYLB2O2Cr1+sxY8YMJCYm4vHHH0d2djamTp2K7OzsNn3YoEGDsHv3bgDA4cOH0adP\nH9uyXr16oaSkBJWVlWhoaEB+fj4GDhzYps9pDdZxqwsDtUJ4Pwz1UTBYu93rffvtt1i4cCGGDx+O\nnTt3OgwDtcVdd92FPXv2YPLkyRBCIDc3F1u2bIHBYMCkSZMwd+5cPPzwwxBCIDMzE3Fxce36vJZi\nHbd6WAO1fTGAFQO1l/F+GOpiDdb2BQFWXg7WLucxPP300zh27BgWLVqEYcOGea0B7eGpeQy8Hr26\n2FclNQ3UrEqSgbU0MiYGuHKF8xmUZF+V1DRYe7EqyeVf7tKlCzZv3uzxklU1cVcWScrRaILxyPj+\nyE7r5xCwG01mBgY56HTAypWcz6AGDQ3AU08B8+fLGqRdruUXXnjB6x+uNM5fUDfeQEYhnM+gPHfz\nF2QQsL8ulkWqH+czKIDzGdRBofkLVgEbGFgWqW4M3ArhfAblqSA4B2xgYFmkujFwK4TzGZSnguAc\nsIGB8xfUjYFbIZzPoDwVBOeADQyAZf7CuJREdI3VIzgI6Bqrx7iURFYlqQADt4KWLQNmzAB69gQ0\nGsu/M2ZwPoNcVBCcA/5+DLwHg3pJzWdI7tUZj45PRoRep3Tz/J/BAJy6VrWXmMizBTlVVQFPPw3s\n3An83//JNn/BKmADAy/t7DsMtQ1Ys6kAP/50EeVX6riu5KDQ5Z4DXtN+v/56YORIS0VSdLRszQjY\nNcw5DL7jg3+cxPb8X5JxXFcy4FwGZTTt99OngXfftcxCl7HfA/Jwi6WQvoPrSgEqKJcMSCrq94AM\nDCyF9B1cVwpQQblkQFJRvwdkYGAppO/gulKACsolA5KK+j0gAwNLIX0H15UCVFAuGZBU1O8B+6vi\nPRh8B9eVAnhvBmWopN8DtlwVsM5hqAEQhG6dwnn0qXLW+2ZYh4+s/8/15kXl5cCPPwI33wx07qx0\na/yb9T4Y1iEj6/8rcIYWkL8ozmHwTWE6LbrGBnPdyYHzGOSjwr4OyDXMOQy+i+tOJpzHIB8V9nXA\nHWKxLt53cd3JREX19H5PpX0dcIGBdfG+i+tOJiqqp/d7Ku3rgAsMrIv3XVx3MlFRPb3fU2lfB1xg\nYF287+K6k4mK6un9nkr7OiB/SayL911S625IvziMua0n6hqMDA6eopJ6er9nMACPPw40NgJbt6qm\nrwN+HgPO4EY6AAASOUlEQVRr4X1TXYMR5ZW12PLdKeQfv8DSVW+xr63nmYLnSJWopqVZ7sEQH694\nX8u6N6yrq8Ps2bNx6dIlREREYOnSpejYsaPDaxYvXoxDhw4hIiICALBq1SpERUXJ2UzyAWE6Lb7a\nW4yte4ttz7F01fPqtDpUxHRDrFaHMKUb40+kSlRXrQJCQlRRDixrYPjoo4/Qp08fPPXUU/j73/+O\nVatWYf78+Q6vKSwsxFtvveUUMDyJE9x8X3Olq9lp/XgW2A78jXhRcyWqubmKnzHIuoYPHjyIlJQU\nAMAdd9yBffv2OSw3m80oKSnBiy++iMmTJ2Pjxo1eaYd1klRZRS2E+OVI850thV75PPI8lq56F38j\nXqTSElV7Xjuk2rBhA9avX+/wXKdOnWzDQhEREbh69arDcoPBgKlTp+Khhx6CyWRCTk4OkpOT0bdv\nX4+1i0ea/sFaulpW4RwcWLraPvyNeJm1RLW42HmZSsqBvXbGMGHCBHz55ZcO/0VFRaGmpgYAUFNT\ng+gm9zDV6/XIycmBXq9HZGQkhg4dihMnTni0XTzS9A8sXfUe/ka8TKUlqvZkHUoaNGgQdu3aBQDY\nvXs3Bg8e7LC8uLgYWVlZMJlMaGxsxKFDh5CU5NkSUk6S8h/TxyZhXEoiusbqERwEdI3VY1xKIsuO\n24m/ERksWwbMmAH07AloNJZ/Z8xQTTmwrIdVWVlZmDNnDrKyshASEoLly5cDANatW4eEhASMGjUK\nGRkZmDhxIkJCQpCRkYHevXt7tA3WI037C7FZ8UjTt2g0wXhkfH9kp/VzuBx3WUUtS5Dbgb8RL7OW\nAOfmWv5TYTlwQM5jsK+4aDrBjRUXvolVNJ7F34gXqPDy2q4EZGCw4gQ3/7F201HJI9xxKYmc09AO\n/I140MyZjnMXrGbMUMXcBXsBHfrDdFp07xzBDd7H8XLc3sPfiIeo9PLargR0YCD/wCoaUj0fmLtg\nj4GBfB6raEj1VHp5bVcYGMjncU4DqZ4PzF2wx18M+QVXl1KfMvpGlJbXMHlKyrGWpy5caHnsA5cy\n5y+F/ELTOQ0xESH44B8n8fTyb1m+SspwVZ565Ahw8aLq5i7YY2Agv2KpotE6la/yktwkO6lLa1sf\nq6w8tSkeOpHfYfkqKc7HylObYmAgv8PyVVKcj5WnNsXAQH6H5aukOB8rT22KgYH8jrvy1SH94lBR\nVc/hJPIeaxVSWpr0chWWpzbF5DP5pablq51iwhAVrkP+8Qv4al8xq5TI85pWIcXHAwMGABUVwNmz\nqi5PbSqgL6JH/s96EbhNu37C1r3FTst5kT3yGFcXyXviCeCZZ1RdntoUD5XIr4XptIiNDkX+8QuS\ny1mlRB7hrgpp61afCgoAAwMFAFYpkdf5eBVSUwwM5PdYpURe5+NVSE0xMJDfY5USeVNdgxGlBoHG\n9LHSL/CBKqSmWJVEAYFVSuRpTW8nG9d5DJ5Ov4zkgj0IUvlF8prDqiQKKKxSIk9xdTvZe3/dHdOH\ndPK5hLM9HhpRQGGVEnmCu+tx7flPJerie/hsUAAYGCgAsUqJ2svftyEGBgo4rFKi9vL3bYiBgQJO\nc7cCBYDS8hoOKZGTugYjSstrAMCvbyerSOu3bduGr7/+GsuXL3da9umnn+Ljjz+GVqvF448/jhEj\nRijQQvJ3UrcC/XVSN5iFwJOv7eBd38hB0wqkLte2l/Thv8K/Cs873E7Wum35MtkDw+LFi/H999+j\nX79+TssuXryI9957D5999hnq6+sxZcoU3H777dDpdHI3k/xc01uBxkaH4r2tx3nXN5L0zpZCp23j\ny+9/xriURPz1uZG2bcjXzxSsZD8MGjRoEBYsWCC57Mcff8TAgQOh0+kQFRWFhIQEnDhxQt4GUkCx\n3Ao0AgB41zeS1NwdAQGge+cIvwkKgBfPGDZs2ID169c7PJebm4u0tDTk5eVJvqe6uhpRUVG2xxER\nEaiurvZWE4lsWlJl0r2z//zwqeUCcdvw2reZMGECJkyY0Kr3REZGoqamxva4pqbGIVAQeYu1yqSs\nwnkH0LmDHuFhWpSW1/jVcAG5Z50MGR6mdbtt+HoFkhRVbeE333wzVqxYgfr6ejQ0NKCoqAh9+vRR\nulkUAKyVSlIzWSP1IXhmxS4mpAOEVKI5Uh8iGRj8oQJJiiq+0bp165CQkIBRo0YhOzsbU6ZMgRAC\ns2bNQmio/0VjUiepSqVIfQhOnauyvYYJaf8nlWguq6hF4nXRqK5t9LsKJCm8VhJRE/ZDCM+s2CV5\npNg1Vo+/PjfSL48WA1ldgxFPvrbD5Tr/08xUGOqMfj+kyHNhoiaslUqGOqNfX/aAnDWXaDbUGf2u\nAkkKAwORC81d9sCakGYpq++zzmi2Jpql+GuiWYp/hz2idmBC2v8x0SwtML4lURsxIe3fmGiWxsBA\n5EbTS2dYE9JS9heUIjutX8AcVfo6dzOaq2sbAybRLIXnvUQtwIS0/2Gi2TUGBqJWYELa9zHR3LzA\nC4VE7cCEtO9iornlAvebE7URE9K+iYnmlmNgIGolJqR9DxPNrcNzXKI2ak1C2jquzdyDfOz7nInm\n1mEvELVTc5fs3rTrJ+Qfv8Dcg0ykcglD+sWhc0wYLlbWOb0+0BPNUrhlErWTNSEtJVIfgq17i1FW\nUQshfsk9vLOlUOZWBg5rLsG+z7fuLUZUuPQtggM90SyFgYHIA6aPTcK4lER0jdUjOMhyJc6023ri\nqqFB8vW8Xah3NJdLSLutp8M6GpeSGPCJZikMk0Qe0DQhHRsdioqqeny1r1jy9dbcQ2w0/O5G8nKz\n5hCsfe4ulzA+9QY8NDaJfd4M9gqRB1kS0pafVWw0XOYeOsWEMffQTm3NJdivI5LGLZDIS9zlHqLC\ndcw9tBNzCd7DwEDkRa5yD9W1jZKvt+YeWN7qzL5PmEvwLoZPIi9qS+7hfz/7EUeLyjnEdI3UkFH/\nXp2ZS/Ai9haRDFqaewjVabE9/4ztMS+tIX0pi+35Z6AP1aK23vmMirmE9gvMQxAiBbnLPQBC8tlA\nGmJq6ZCRq75iLqH92HtECpC6EF9yr87YYXe2YO9iRS1Wf/YjCvx4iKm1Q0Z19SaMHBKPgqJyXgDP\nwxgYiBQglXsAgIKicskhprBQjUPQaDrEZF/L7ytHy03b3Nohoy6xejyeeTMAzgXxNPYikYKajoO7\nutcDECT5/v0FpTCazC7nQygdMKQ+39X8gwPHzrv4K80PGTGX4FmK9Oa2bdvw9ddfY/ny5U7LFi9e\njEOHDiEiIgIAsGrVKkRFRcndRCJFSA0x9e/VGTsOSg8xWWv37R9v/u4UzEIgOCjIYefbdOjJk0Gj\n6d+S2vlbP1/qzMD+Ozj9bQ4ZyU72wLB48WJ8//336Nevn+TywsJCvPXWW+jYsaPMLSNSnqshpqMu\nhpiCgwGz2fnvbD9wGrX1Jttj+6En687ZVdBwFzBaGgDMQuDL7392+nzr2Y0UV9+FQ0byk713Bw0a\nhN/85jf45JNPnJaZzWaUlJTgxRdfRHl5Oe6//37cf//9cjeRSHEtHWKS2pECcAgK9qxDT609ywDQ\nqgCgD9W4/PyKq/WSy1x9Fw4Zyc9rvbxhwwasX7/e4bnc3FykpaUhLy9P8j0GgwFTp07FQw89BJPJ\nhJycHCQnJ6Nv377eaiaRT5AaYrKOy0tdF8iV8spal+Wf2w+ccUjy2p9lAHAa/nEXAFwFpoqqenSM\nDsOlKuc2d421fKf84xc4ZKQwrwWGCRMmYMKECa16j16vR05ODvR6PQBg6NChOHHiBAMDBTypIaYw\nnRZaTbDkmYSrSp7Y6DBcuiIdSKReDwD7jp4DgqST364CgCtdru38pXIKQ5O7+2yFlb9RVQF0cXEx\nsrKyYDKZ0NjYiEOHDiEpiUcLRFbW24lad5hS12Ial5KIUbfES77/1qRu6Bqrb9VnllfWoVwiv+GO\nPlR6hz40uTseHd9fss3WM4Om35Hkp4qeX7duHRISEjBq1ChkZGRg4sSJCAkJQUZGBnr37q1084hU\ny9WZhMlktuULmg7LuD7L0EieAXTuEAYEBeGiRHBwdWYy6pZ4l5/vqs2kHkFCCOkiYR9w9uxZjBo1\nCtu3b8f111+vdHOIVKe5eQT2O+2miWSrcSmJACAZTNKH/8ptAOCwkG/imiLyY1IXkmvLWYaVqwDg\n6uifF7LzTTxjICIHrZnHQP6Ja5aIHLg7yucZQGBQVVUSEREpj4GBiIgcMDAQEZEDBgYiInLg01kk\nk8kyGef8eVfXcSciIle6desGrdY5DPh0YLh48SIA4IEHHlC4JUREvsdVqb9Pz2Ooq6tDQUEBunTp\nAo1G+iqPREQkzdUZg08HBiIi8jwmn4mIyAEDAxEROWBgICIiBwwMRETkgIGBiIgcMDB4wLZt2/D7\n3/9ectnixYtx3333ITs7G9nZ2bh69arMrXPmrr2ffvop7rvvPkycOBE7d+6UuWWO6urq8NRTT2HK\nlCl45JFHcPnyZafXKN2/ZrMZL774IiZNmoTs7GyUlJQ4LN+xYwcyMzMxadIkfPrpp7K2TUpz7X33\n3Xdxzz332Prz1Cnnm/Mo4ciRI8jOznZ6Xm39a+WqvWrtXyeC2mXRokVi9OjRYubMmZLLJ0+eLC5d\nuiRzq1xz196ysjKRnp4u6uvrRVVVle3/lfLOO++IN954QwghxJdffikWLVrk9Bql+/cf//iHmDNn\njhBCiB9++EH8z//8j21ZQ0OD+M1vfiMqKytFfX29uO+++8TFixeVaqoQwn17hRDi97//vTh69KgS\nTXNpzZo1Ij09XUyYMMHheTX2rxCu2yuEOvtXCs8Y2mnQoEFYsGCB5DKz2YySkhK8+OKLmDx5MjZu\n3Chv4yS4a++PP/6IgQMHQqfTISoqCgkJCThx4oS8DbRz8OBBpKSkAADuuOMO7Nu3z2G5GvrXvo0D\nBgxAQUGBbVlRURESEhIQExMDnU6HwYMH48CBA7K30Z679gJAYWEh1qxZg6ysLLz55ptKNNFJQkIC\nVq5c6fS8GvsXcN1eQJ39K8WnL4khpw0bNmD9+vUOz+Xm5iItLQ15eXmS7zEYDJg6dSoeeughmEwm\n5OTkIDk5GX379lVle6urqxEVFWV7HBERgerqaq+200qqvZ06dbK1JyIiwmmYSMn+taqurkZkZKTt\nsUajgdFohFarVbQ/XXHXXgC45557MGXKFERGRuJ3v/sddu7ciREjRijVXADA6NGjcfbsWafn1di/\ngOv2AursXykMDC00YcIETJgwoVXv0ev1yMnJgV6vBwAMHToUJ06ckGXH1Zb2RkZGoqamxva4pqbG\n4YfnTVLt/d3vfmdrT01NDaKjox2WK9m/Vk37zGw223aySvanK+7aK4TAtGnTbG1MTU3FsWPHVLnj\nAtTZv+74Uv9yKMmLiouLkZWVBZPJhMbGRhw6dAhJSUnNv1EhN998Mw4ePIj6+npcvXoVRUVF6NOn\nj2LtGTRoEHbt2gUA2L17NwYPHuywXA39O2jQIOzevRsAcPjwYYf+6tWrF0pKSlBZWYmGhgbk5+dj\n4MCBsravKXftra6uRnp6OmpqaiCEQF5eHpKTk5VqarPU2L/u+FL/8ozBC9atW4eEhASMGjUKGRkZ\nmDhxIkJCQpCRkYHevXsr3Twn9u3Nzs7GlClTIITArFmzEBoaqli7srKyMGfOHGRlZSEkJATLly93\naq/S/XvXXXdhz549mDx5MoQQyM3NxZYtW2AwGDBp0iTMnTsXDz/8MIQQyMzMRFxcnKzta217Z82a\nhZycHOh0OgwbNgypqamKtleKmvtXiq/1L8CL6BERURMcSiIiIgcMDERE5ICBgYiIHDAwEBGRAwYG\nIiJywMBA5EF5eXkYPnw4Ll26ZHvu7bffxlNPPaVgq4hah4GByINuvfVWjB07FvPnzwdgmUT2ySef\n4JVXXlG4ZUQtx3kMRB7W0NCACRMmIDMzE++//z6WLl2q6hm5RE0xMBB5wX/+8x9kZGTg0UcfxcyZ\nM5VuDlGrcCiJyAsOHTqE2NhY7Nu3D0ajUenmELUKAwORh/30009YuXIlPv74Y+h0OqxevVrpJhG1\nCgMDkQfV19dj1qxZmD17NuLj47FkyRK8//77OHz4sNJNI2oxBgYiD8rNzUWfPn2QkZEBAPiv//ov\nzJs3D7Nnz3a4dwCRmjH5TEREDnjGQEREDhgYiIjIAQMDERE5YGAgIiIHDAxEROSAgYGIiBwwMBAR\nkYP/B3xU0f5LLa8XAAAAAElFTkSuQmCC\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x12a226e10>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "fig, ax = plt.subplots()\n",
    "ax.scatter(X_test[pred==True, 0], X_test[pred==True, 1])\n",
    "ax.scatter(X_test[pred==False, 0], X_test[pred==False, 1], color='r')\n",
    "sns.despine()\n",
    "ax.set(title='Predicted labels in testing set', xlabel='X', ylabel='Y');"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 104,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "grid = pm.floatX(np.mgrid[-3:3:100j,-3:3:100j])\n",
    "grid_2d = grid.reshape(2, -1).T\n",
    "dummy_out = np.ones(grid.shape[1], dtype=np.int8)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 105,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "ppc = sample_proba(grid_2d ,500)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Plotting the objective function (ELBO) we can see that the optimization slowly improves the fit over time."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 106,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAA3IAAAIZCAYAAADjkw3MAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzs3Xl4lOW9//HPLJmQZBIighG0iEURBVNEZFEhIiIelgJi\nASNgtYvYC6w59VeFGsCCC2qtPW5V22q1WsENRT1CiVR6EEILIhJEW+pSQJYAAbJnMvP7I86QZWby\nzGT25/26Lq868+SePGNnMs9nvvd9fy0ej8cjAAAAAEDSsMb7BAAAAAAAoSHIAQAAAECSIcgBAAAA\nQJIhyAEAAABAkiHIAQAAAECSIcgBAAAAQJKJeZBrbGzUvHnzNH36dF177bX67LPPYn0KAAAAAEzG\n7XZrwYIFmjZtmmbOnKkvv/yyxfFnn31W48aN08yZMzVz5kz9+9//9h376KOPNHPmTN/tL7/8Utde\ne60KCwu1cOFCud1uSdLy5ct19dVXa+rUqVq7dm1Un489qo/uh/cJvfTSSyotLdWvf/1rPfHEE7E+\nDQAAAAAmsmbNGtXX12vZsmXaunWr7rvvvhY5ZPv27Vq6dKn69+/fYtzTTz+tN998UxkZGb777r33\nXt16660aMmSIFixYoJKSEg0YMEDPP/+8Xn31VdXV1amwsFCXXHKJHA5HVJ5PzCtyV1xxhRYvXixJ\n2rt3r3JycmJ9CgAAAABMZvPmzRo+fLgkacCAAdq+fXuL42VlZXrqqad07bXX6sknn/Td37NnTz3y\nyCNtfnbw4MGSpBEjRuiDDz7Qtm3bdMEFF8jhcCg7O1s9e/bUzp07o/Z8Yl6RkyS73a7bb79df/nL\nX/Q///M/AX+utrZW27dvV7du3WSz2WJ4hgAAAEDiamxs1MGDB9W/f3916tQp3qdjWEVFhSorK6P2\n+E6nU7m5uX6PVVZWyul0+m7bbDa5XC7Z7U2RaNy4cSosLJTT6dScOXO0du1ajRw5UmPGjNHu3btb\nPJbH45HFYpEkZWVl6fjx46qsrFR2drbvZ7KysqL6XOMS5CRp6dKluu222zR16lS9/fbbyszMbPMz\n27dv13XXXReHswMAAAAS3wsvvKBBgwbF+zQMqaio0PAhQ1Qfxd/RuXNnrV692m+Yczqdqqqq8t12\nu92+EOfxeHT99df7glhBQYF27NihkSNH+v09VuuJiY1VVVXKyclp8/hVVVUtgl2kxTzIrVixQvv3\n79dNN92kjIwMWSyWFv8hmuvWrZskacZP5iknt0ssTzPiLux/VrxPASlm8/Z/xfsUYuqjnZ/H+xRM\naUvZrnifAgDAD3dDjer+vc53vZwMKisrVS9prD1Nmd9UsyKp2uPRO0ePqrKy0m+QGzhwoNauXaux\nY8dq69at6tOnT4tzGz9+vN555x1lZmaqtLRUU6ZMCfi7zjvvPJWWlmrIkCFat26dhg4dqvz8fD38\n8MOqq6tTfX29du3a1eJ3RFrMg9yVV16pefPm6brrrpPL5dL8+fMDloO90ylzcrsot0vyvEj92bX3\nqC4eeG68TwMpJHfv0XifQkwVXNxNm7axy22sWR1Z8T4FAEAQybj8KNNiUXYUglx7Ro8erfXr12v6\n9OnyeDy65557tHLlSlVXV2vatGkqKirSrFmz5HA4NGzYMBUUFAR8rNtvv13FxcV66KGH9O1vf1tj\nxoyRzWbTzJkzVVhYKI/Ho6KiIqWnp0ft+Vg8Ho8nao/eQbt379aoUaP0k/kPJH2Qa45Ah0j5YMsn\n8T6FmCLIxd6GD6O3SBsAED53fZVqPl2lkpISnX766fE+HUO81/bXpDmiEuSOezx6paE+qf6bdAQN\nwePggy2fmO4CHIiEwfnRm54A/4Zd0DfepwAAAPwgyMURYQ4dRXUXAADAnAhycUZ1DkCioyoHAEDi\nIcglCAIdwmW2qhzTK+ODMAcAQGIhyCUYwhwAAACA9hDkEhDVOYSKqhxigaocAACJgyCXwAh0ABIN\nYQ4AgMRAkEsChDkAAAAAzRHkkgTVObSH6ZWIFapyAADEnz3eJ4DQfLDlE9NdsANIPMMu6KsNH+6M\nyuO2Jxq/FwCAZENFLglRnUMgZgv5VOXiK1KVuWEX9PX9E8vfCwBAMqMil8S8Yc5sF+8AEkcooap1\nJY1ABgBA+KjIpQCqc2iOYI9E1bzy1tEQRwgEAJgdQS5FMN0SZsX0SvMizAEAzIwgl2IIdJCoygEA\nAKQ6glyKIszBTKjKmRdVOQCAWRHkUhjVOQBmQJgDAJgRQc4ECHTmZLbplVTlAACAmRDkTIQwByBV\nUZUDAJgNQc5kqM6Zi9mqcgAAAGZBkDMpwhxSEdMrzY2qHADATAhyJkZ1zhyoygEAAKQeghwIdEgp\nVOXMjaocAMAsCHLwIcwBAAAAycEe7xMw4qOdnyvDeaTFfXzrHh3eMMd0vNRy8cBzCeoAAAApJGkr\ncpu2feb7B5HHdEskM77oMTemVwIAzCBpg1xzhLroIcylDqqsAAAAqSMlglxzhLrIozqHZERVDgAA\npLKUC3LNEeoiizCX/KjKwSyYXgkASHVJsdlJJDQPc3xTHz42QwEAAADiL6UrcoFQpes4plsiGfCl\njblRlQMApDJTBjkvpl52HGEu+VBNBQAASH6mDnLNEerCR3UOiYyqnLlRlQMApCqCnB8EuvAQ5pIH\nVTkAAIDkRpALgipd6KjOIRFRlQMAAKmGIGcQoS40hDkAiYLplQCAVESQCwOBzhiqc4mN6ZUAAADJ\niyDXAVTpjCHMIREwvdLcqMoBAFINQS5CCHXBUZ1LTFTlYCaEOQBAKiHIRQGhLjACHeKJqhwAAEgV\nBLkoI9T5R5gDEA9U5QAAqYIgF0OEupaoziUGplcCAJBchl3QVwP79Y73aSDOCHJxQqg7gTCHWGJ6\nJajKAUhGwy7o6/sHkCR7vE8AahHmzHqR6Q1zVIfi4+KB5xKoAQBIMIQ2BENFLsGYvVJHmEAsmPUL\nE5zAxRGAREblDUZQkUtg3jBntotOqnMAAMBsCG4IFRW5JGDWCh2bocSW2YKz2b4gQVtcNAGIN9a9\noSOSoiL3nb5n6rPdR+J9GnFn5gqd2UIGAABITYQ2RErSVOQG5/cxXYAJxIwVOqpzsUFghtlwQQUg\nFqi8IRqSJsh5EeZOMGugAyKFvycAgGghvCHakmJqZWuD8/uYLsAEY7Ypl2yGAiCShl3QVxs+3Bnv\n0wCQAghtiKWkq8h5MdWyLbNV6KjORYfZAjJ/RwAAHUXlDfGQlBW55qjOtWWmCh3VOQCRQFUOQKgI\nboi3pA9yEmEuELMFOsIcwsXfEEiEOQDtI7wlN7fbrUWLFunTTz+Vw+HQkiVLdMYZZ/iOP/vss3r5\n5ZfVpUsXSdJdd92lXr16+R1TVFSk8vJySdKePXv0ne98R7/+9a+1ZMkSbdmyRVlZWZKkxx9/XNnZ\n2VF5PikR5KQTYYWLsbbMEuiozkXOxQPPZeoqTIkwB6A5gltqWbNmjerr67Vs2TJt3bpV9913n554\n4gnf8e3bt2vp0qXq37+/777Vq1f7HfPrX/9aknT06FHNmjVL8+bNkySVlZXpd7/7nS8MRlPSrpEL\nJNXDSkeYZQ0drQoQDv52wIsLN8Dc2G0ydW3evFnDhw+XJA0YMEDbt29vcbysrExPPfWUrr32Wj35\n5JOGxjzyyCOaMWOGTjnlFLndbn355ZdasGCBpk+frldeeSWqzydlKnLNUZ0LzkwVOqpz4aMqBzOj\nMgeYC6HNHCorK+V0On23bTabXC6X7PamSDRu3DgVFhbK6XRqzpw5Wrt2bdAxhw4d0oYNG3zVuOrq\nas2YMUM33HCDGhsbNWvWLPXv3199+0bn9ZWSQc6LdS/BmSHQMd0SQLgIc0BqI7zFT6+BA3VSRkbE\nH/dITY1UujHgcafTqaqqKt9tt9vtC3Eej0fXX3+9bz1bQUGBduzYEXTMu+++q/Hjx8tms0mSMjIy\nNGvWLGV889yGDh2qnTt3Ri3IpdzUytZoU9A+M0y5pLIEI/hbgda40ANSR/Mpk7y3zWngwIFat26d\nJGnr1q3q0+fE535lZaXGjx+vqqoqeTwelZaWqn///kHHbNiwQSNGjPDd/uKLL3TttdeqsbFRDQ0N\n2rJli/r16xe155PSFbnmqM61b9O2z1L6QpbqXOiYXglQmQOSGYENzY0ePVrr16/X9OnT5fF4dM89\n92jlypWqrq7WtGnTVFRUpFmzZsnhcGjYsGEqKCiQ2+1uM8br888/17e+9S3f7d69e2vixImaOnWq\n0tLSNHHiRJ199tlRez4Wj8fjidqjd9Du3bs1atQo/WT+A8rt0i1ij0uga18qBzqJMBcKMwY5/kbA\nH8IckBzMEt5qKiu0/rXHVVJSotNPPz3ep2OI99r+tiFDoza18sHSjUn136QjTFORa47qXPtSff0c\n1TkAoaIyByQmswQ3oLWUXyMXCGvnjEn19XNmrDaFyoxhl78NCIQLRiD+WOsGNDFlRa45qnPGpPL6\nOapzAEJBZQ6ILcIa4J/pg5xE3zmjzDDdkjAHL77kQTCEOSB6CG6AMQS5Zgh0xqRyoKM65x+7VwJt\nEeaAjiO0AeEjyPnBN/HGMN0SqY6/BQAQWQQ3IHIIcgFQnTMmlatzEtMtAQRHVQ4IjuAGRI9pd600\nKlUDSqSl8u6WH2z5hGmFMm91kr8BaA8XqkBL7CgJxAYVOQOozhmX6tMtzRpmAARHZQ5mRmAD4oMg\nFwLWyxiTytMtWTsHIBDCHMyE8AbEH0EuRFTnjCPQpR6z7l7JlzgwijCHVEVwAxIPa+TCNDi/T0oG\nlGhI5QtgM4YaAMFxwYtUwVo3ILFRkesgvqk3huockh3vdYSCyhySEYENSC4xDXINDQ2aP3++9uzZ\no/r6et18880aNWpULE8hKphuaVyqBzrCHAAvwhySAeENSF4xnVr55ptvKjc3Vy+++KJ+97vfafHi\nxbH89VGXiuEkWlI19JqhVYGZwyrvcYSKi2QkIqZMAqkhphW5q666SmPGjJEkeTwe2Wy2WP76mKA6\nZ1yqV+ckc4ceAE2ozCHeCGxAaoppkMvKypIkVVZW6pZbbtGtt94ay18fUwQ64wh0SCaslUM4CHOI\nJYIbYA4x37Xy66+/1qxZszRx4kRNmDAh1r8+5tjd0rhUvjhOtemWBFMgdFxcI1qaT5XkdQaYR0wr\ncuXl5brxxhu1YMECDRs2LJa/Ou6o0BlDdQ7JgKocwkVlDpFAWAMgxTjI/fa3v9WxY8f0+OOP6/HH\nH5ckPf300+rUqVMsTyOuuAA0ZtO2z1IyzEkEOsDsvBfhBDoYRXAD4E9Mg9ydd96pO++8M5a/MiFR\nnTMmlatzEoEu2fGlDDqq+cU5oQ5ehDYARtEQPI4IdMYQ6ACkulhdvG/4cGe7vyuaoTKWISXRwzGB\nDUBHEeQSAIHOmFSebiklX6C7eOC5KbeJS6ioyiHZGAkPqRIwQnke3tBndEwoITFV/nsCSDwEuQTC\nRWH7Ur06JyVfoAOAZBdq2CKcAUgEMW8/gOBoV2DMpm2fpXzo/WDLJ6aveCUD3q8AACAeCHIJikBn\nTKqHOYlABwAAgLYIcgmOMNc+M1TnJAJdIuN9CgAAYo0glwSozhljhjAnEegAAABAkEsqBLr2maU6\nJxHoEg3vTQAAEEvsWpmEaFfQvlRvVdBc8zDHTpcAAADmQEUuiZklqITLTNU5L6p08cV7EgAAxAoV\nuSRHda59Zug91xpVOgAAgNRGRS5FsH6ufWYNu94qHZW62OB9CAAAYoGKXIqhQhecGatzzVGpAwAA\nSA1U5FIUFbrgCLqsp4sm3nsAACDaqMilOCp0gZm9OudFlS46Buf34X0HAACihiBnEgS6wMzUqqA9\noYQ6qnkAAADxQ5AzGQKdf1Tn2qJS13FU5QAAQLQQ5EyKQOcf1Tn/WlffCHYAAADxxWYnJsemKG2Z\nsZF4qJhWaRzvLwAAEA0EOUjiYtMfwhwAAAASFUEOPlTn2qI6h0jgfQUAACKNIIc2CHRtEejQUbyn\nAABAJBHkEBCBri3CHAAAABIBQQ7tItC1RHUO4eJ9BACIhMH5ffSdvmfG+zQQZ7QfgGG0LGiJVgUA\nACBWuOZAawQ5hIxAdwJhDqGiSTgAwAiuL9AeghzCRqBr4n3+/MEFAADh4BoC4SDIocMIdE2ozsEo\nqnIAYF5cK0CSdu3apVWrVmnfvn2yWq065ZRTNHz4cJ1//vmGH4PNThAxbIrCRigwzuzvFQAwC+/1\nEddJ8HrhhRf03//935Kk888/X/369ZMkFRcX6w9/+IPhx6Eih4ijQkd1DgAAM+KzH0Y899xzWrFi\nhTIyMlrcf8MNN2jy5Mm68cYbDT0OQQ5RY/ZAx9q5xOFq9Ki2vlGdHDbZbZa4/4wXUywBIHnx+Y5w\n2e12uVyuNvfX1tYqLS3N+ONE8qQAfwh0VOfixe32aNuuSu0tr1N1nVuZ6Vb16Jqu/N5OWa2WmP+M\nP4Q5AEh8fI4jkmbPnq1JkyZp2LBh6tatmyTp4MGD2rhxo4qKigw/DkEOMWPmQEd1LroCVcG27arU\nv/bU+G5X17l9twecnR3znwl0roQ5AEgsfF4jmiZMmKDBgwdrw4YNOnDggDwejwYNGqS5c+cqLy/P\n8OMQ5BBzZg90fDhETrAqmNsj7S2v8ztub3md+n/b6fv3WPyM1aKwKnYAgOjic9k83G63Fi1apE8/\n/VQOh0NLlizRGWec4Tv+7LPP6uWXX1aXLl0kSXfddZd69erld8yOHTt00003qVevXpKka6+9VmPH\njtXy5cv10ksvyW636+abb9bIkSP9nkteXp4mTZrUoedDkEPcmDXQUZ0LTbA1Z8GqYGednqHqOrff\nx6yuc6u2vtH377H4mX/trglasWtelXN7pEa3VTarW2Q8AIgMPnexZs0a1dfXa9myZdq6davuu+8+\nPfHEE77j27dv19KlS9W/f3/ffatXr/Y7pqysTDfccEOLjUkOHjyo559/Xq+++qrq6upUWFioSy65\nRA6HIyrPhyCHuDNzoONDJbD21py5Gj1Bq2B9z8hSZrrVb8DKTLeqk8Pm+/do/4zdZm23Yme3WeTx\nSEeqO6mmIc0X5DLSGnRSZq0sBDoACAmfsWht8+bNGj58uCRpwIAB2r59e4vjZWVleuqpp3Tw4EFd\ndtlluummmwKO2b59uz7//HOVlJTojDPO0Pz587Vt2zZdcMEFcjgccjgc6tmzp3bu3Kn8/PyoPB+C\nHBKGGQMdYS789W219Y1Bq2CuRrd6dE1v8RhePbqm+35XLH7G1ehut2LnzLArPbO7Ko+ceIxGt02V\ndU1BsUtWre9+KnYAcILZP0eTUc+BF+iU3NyIP+6BigqpdGPA45WVlXI6nb7bNptNLpdLdntTJBo3\nbpwKCwvldDo1Z84crV27NuCY/Px8fe9731P//v31xBNP6LHHHlPfvn2VnX1iXXxWVpYqKysDns9b\nb72l8ePH+/43VAQ5JByzBTqzTrXs6Pq2Tg5bu5Wy/N4n1q+1/h1esfgZt6f9ql6wCmNNQ5rcnlpZ\nRMUOgLmZ7bMSkeV0OlVVVeW77Xa7fSHO4/Ho+uuv9wWxgoIC7dixI+CY0aNHKycnR5I0evRoLV68\nWIMGDWrxs1VVVS2CXWu///3vNX78eN//hoogh4RlxkBnpg+ojq5vc2bYDVXKBpydrf7fdgZcZ2e1\nWqL+M1a1X9WrrHEFfM6Nbqsa3VYdr3Wosq5Ts/v9V+wAIJmZ6bMQsTVw4ECtXbtWY8eO1datW9Wn\nz4nXWmVlpcaPH6933nlHmZmZKi0t1ZQpU1RbW+t3zA9+8AMVFxcrPz9fGzZsUL9+/ZSfn6+HH35Y\ndXV1qq+v165du1r8jkA8Hk9Yz4cgh4RnpkBnlupcpNa3GamUSZLdZpEzI/ifu2j/THvnGqzCaLO6\nZbG4VdPgv0mot2LHNEsAiSzVP9uQ+EaPHq3169dr+vTp8ng8uueee7Ry5UpVV1dr2rRpKioq0qxZ\ns+RwODRs2DAVFBTI7Xa3GSNJixYt0uLFi5WWlqauXbtq8eLFcjqdmjlzpgoLC+XxeFRUVKT09PSo\nPR+CHJKG2QJdKnzgBVr/Fqn1bUYqZYmivXO12ywBn3NGWoM8nqaqnD/eip3VduK/KevoAMRKKnxe\nwRysVqt++ctftrivd+/evn+fNGlSm5YA/sZIUr9+/fTSSy+1uX/q1KmaOnVqhM44OIIcko5ZAl0y\nV+fa23EyUuvbvIxUyhJFsHMN9JzrqivkUVNlrtFtazPOZnXLZm36b8nOlwAiKRk/g4Bk0bdvX0nS\nueeeG9b45LjyAfwwU6BLtg/S9nacDFZ9CmV9W6oJXLXL1qZtnykjrcG3Jq65jLQGX9XtSHUn1tEB\nCEuyfdYAye7ee+9t8b+hIsgh6TX/4EnVUJdMYa699W/enmmRXN+WagI955Mym4KYv2qb1DSdknV0\nAPxJls8QAMaZ6+oIKS+Vq3SJONXS3xq49ta/eXecTKb1bYlgcH4fbdr2mbpk1crtqfW7/s27Vs6f\n1uvoWEMHJKdE+gwAEF8EOaSkVA908f4gD7YGzsj6t+bMWHELlzfMWS1qsbGJl3etXLB1dKyhAxJL\nvP+eA0heXD0hpaVqoIt3mGtvDZyR9W8IT7DXtNWidtfRHa5iDR0QDwQ2AF6XX365LH6+PfV4PLJY\nLCopKTH0OAQ5mEIqBrp4TbU0sgYulB0nER5vda61YOvoWEMHxAahDUAwzz//fEQehyAHU0nVQBet\ni4aOrIFj/Vv0+QtzFosCrqNzNbKGDog0QhuAUJ122mm+f1+5cqX+9a9/afbs2Vq1alWbPnbBEORg\nSqm202Wkw1yk1sCx/i36An054W8dHWvogI4htAGIpAcffFD79u1TWVmZfvSjH+nVV1/Vzp07dccd\ndxga7/+rWcBEBuf3SYkP503bPotYKPWugfOGNe8auG27Kn094PxhDVz8GHkNe9fQ+eNdQ+ftQ9cU\n9izfrKHrpCPVnfyOA1KZ9/MhVT4nACSW//u//9MDDzyg9PR0OZ1OPfPMM1q3bp3h8XxVDnwjVaZd\ndrQ6xxq45BXo//fmr2nW0AHBEdgAxIrV2lRT8258Ul9f77vPCIIc0EoqBLqOhDnWwKWe1q+FTds+\n6/AaOiBVENwAxMtVV12lW2+9VUePHtWzzz6rN998U+PHjzc8niAHBJDsgS7cMMcauNQXaI2okTV0\nQLIjuAFIFD/+8Y/1t7/9TT169NC+ffs0d+5cjRw50vB4rsCAdiRzoDPSoqD1zpTeNXD0gTOH5q9v\nI33oJHa0RPIgtAFIdN26dVP37t2VlpamM844I6SxBDnAoGTe6dJfdS7YzpSsgTMf7+uj9KOm17a/\nNXTsaIlER3ADkEyee+45vfDCC7r88svldrv17LPPavbs2Zo8ebKh8QQ5IAzJWKVrHea8O1N6eXem\nlKQBZ2ezBs6khnyn6TWy8aPP2lTdDlc17Wjp1bSjZVP1rktWbczPFeZGaAOQ7F5++WW9+uqrcjqb\nvij/yU9+ohkzZhDkgFhItkDnDXNGdqb0TrNkDZw5Df1Oy9c2O1oi3ghuAFJNRkaG0tLSWtx2OByG\nx3OFBkRAMgW6Tds+U0OjVdV1OX6PN9+ZEvC+ttd/+C92tERMEdwApKpHH31UkpSbm6trr71WY8eO\nld1u17vvvqtevXoZfhyu1IAISsR1dGn1dep8/KiOZndWg6OpkXfTDoSNfncnbL0zJSBJQ/J7a/Wm\nQ353M229oyWboSAcBDcAZpOfny9Jqq1tWp5w6aWXhjSeIAdESbyrdNbGRk1+9yXlf7JFJx09rCOd\nu2jbuQP1+lXTJZst4O6E7EwJf4LtZurd0ZLNUBAKghsAs5ozZ47f+z0ej3bv3m34cQhyQJTFK9BN\nfvclXb7hL77bXSsO+W6/Ou46nZTZ9O1P00W3jZ0p0a7Au5l2k9Vq0dZ/HlflkRNBz7sZyqldT1J9\nzdfxOm0kCIIbALT0pz/9SQ899JBqak58dp5++un6y1/+EmTUCQQ5IEZiOe0yrb5O+Z9s8Xssf+eH\nenP0NWpwpKtLVq3cnlo1uq0akt+bShyCslotAXczbW8DnSsHn93i9ZUoU48RPQQ3AAjuD3/4g954\n4w09/PDDKioq0qZNm7R+/XrD4wlyQBxEu0rX+fhRnXT0sN9jJ1UcVufjR1V+8imSJKtFstrc2lL2\nTy68YIi/3Uxr6xv9rp+T/G+gE++px4g8/n4AQGhOPvlkfetb39I555yjzz77TFdffbX+9Kc/GR5P\nkAPiKFoXs0ezO+tI5y7qWnGozbEjuV10NLuz33He8+CCDKHq5GianusvzAXbQGdwfh/CXJLi7wQA\ndExGRoY2btyoc845R2vWrNH555+vY8eOGR7vfy9pADE1OL+P759IaHCka9u5A/0e29b3At/ulYFw\nYY1QeTdD8ae9DXQi+dpH9DT/O8X/XwDQcXfeeafee+89DR8+XBUVFbrqqqs0Y8YMw+OpyAEJJpwq\nnb8WA69fNV1S05q4kyoO60huF23re4Hv/vZ4m4cDRgXeDOXEBjquRk+b9XVeVOcSB+99AIi+Pn36\naP78+ZKkRx55JOTxBDkgQRkJdMFaDLhtNr067jq9OfqaNiHPKMIcQhFsMxS326Ntuyr9hjxrs2Zz\nrJ2LHd7bABAfl19+uSxB+vKUlJQYehyCHJDggu122V6LAalpmqV3Y5NwEOYQKn+boWzbVdmiB111\nndt3e8DZ2W0eg0DXMbxnASBxPf/88xF5HIIckESaX9wabTEQCYQ5dER7rQn6f9sZcA1dLNt2JBve\nkwCQnE477bSIPA5BDkhCg/P7KPvr3YZbDEQCYQ7hCrU1QSBmqtLxXgMAtIcgBySp6i5dVd0tT9kH\n9rU5FqzFQEcQ5hCOcFsTBJJKVTreTwCAcBHkgCTVmN5JXw0ZoX4rl7c5ZqTFABAr3tYEzdfIebXX\nmqA9yRLqCGwAgNYqKiq0Y8cOXXzxxXryySdVVlamW265RWeddZah8XEJch999JEefPDBiC30A8zC\nVlerzMM+v2zVAAAgAElEQVTlqu7SVY3pnbT5xjmSpJ6lf1NW+X5Vdc3TV0OGa/eNczTY1vT2TuSL\nW5hHe60JgrUlMCoRQh2BDQBg1M9+9jONHDlSkvTuu+/q+uuv18KFC/XCCy8YGh/zIPf000/rzTff\nVEZGRqx/NZC0LI0uXfiHR9WzdJ2yDh5QVbdT9NWQEdp84xz940e36sNZs1sEvOYieXHLRSrCFag1\ngdvt0dZ/Hm+3LUGoWr9Wjb72eY0DAGLl6NGjmjFjhhYvXqzJkydr0qRJeu655wyPj3mQ69mzpx55\n5BH9/Oc/j/WvBpLWhX94tMUUyuwD+3y3//GjW9WY3knHu5/e7uOYabMIJKbWrQlCbUsQLgIaACDR\nuN1ubd++XWvWrNGf/vQnffLJJ2psbDQ8PuZBbsyYMdq9e3esfy2QtGx1tepZus7vsZ6lf9OHs2a3\nqcK1J9RqBRfBiIaOtCUAACDZ/b//9/90//3368Ybb9S3vvUtTZ06VfPmzTM8ns1OgASXebhcWQcP\n+D2WVb5fmYfLDVXjgiGoIR4i1ZYAAIBkNGzYMF144YVyOBz68ssv9ZOf/ESDBw82PN4axXMDEAHV\nXbqqqpv/fnBVXfNU3aVrjM8IiAxvWwJ/wmlLAABAMnnsscd05513au/evbruuuv0xz/+UQsWLDA8\nniAHJDhvmwF/vhoyPORplUCi8LYl8KejbQkAAEh0JSUlWrJkid566y1997vf1TPPPKMdO3YYHh+X\nIHf66adr+fK2va8ANK2Jy/56t2x1tb77Nt84R2UTpur4Kd3ltlp1/JTuKpsw1dd+AEhW+b2dOuu0\nDF9lLjPdqrNOy/C1JZCa1tJV1rjkavTE6zQBAIg4t9sth8OhtWvXqqCgQG63WzU1bXuuBsLiAyBB\nBGsx4LHZ220zACSjQG0JJMnt9mjbrsqItyYAACARDBs2TOPHj1enTp100UUXacaMGb6+ckYQ5IAE\n0V6LAUmG2wwAyaZ1WwIpdq0JAACIh9tvv10zZ85UXl6erFariouLde655xoenxRB7sL+Zynv1B76\nYMsn8T4VICqi0WIASGa0JgAApLp///vfevHFF1VdXS2PxyO3263du3frhRdeMDQ+KYKc18UDjSVU\nAh+STSxaDADJhNYEAIBUV1RUpFGjRmnz5s2aPHmy1q1bp7PPPtvw+JT8FDQS+Ah7SCTeFgPZB/a1\nOUaLAZiRtzWBvzBHawIAQCpwu9265ZZb5HK5dN5552n69OmaPn264fEpGeSMoLqHROJtMdB8jZwX\nLQZgRt7WBM3XyHnRmgAAkAoyMjJUX1+vXr16qaysTIMGDVJdnf9lBf6YNsgZFSzwEfIQSd5WAj1L\n/6as8v2q6pqnr4YMp8UATMvbgsDfrpUAACS77373u5o9e7YefPBBTZs2TX/729+Ul5dneDxBrgPa\nq+oR9NAeW11ti3YCtBgATgjWmkBq2hDF3/0AACSDGTNmaNKkSXI6nXr++ef18ccf69JLLzU8niAX\nRVTzEEiwnnG0GABaat2agP5yAIBk9uijjwY89umnn2rOHGOzsQhycULIMzcjPeMA+Ed/OQAACHIJ\niZCX2ugZB4SP/nIAgGTnrbi5XC69//77GjVqlA4fPqz33ntPU6ZMMfw4BLkkEyjkEfCSBz3jgPDR\nXw4AkCqKi4vldrs1atQoSVJpaam2bdumX/7yl4bG82mXIgh4yYOecUD46C8HAEgV27dv18qVKyVJ\nXbp00QMPPKAJEyYYHk+QS3EEvMRDzzggfPSXA5BsjPYuDobrtshwu91atGiRPv30UzkcDi1ZskRn\nnHGG7/izzz6rl19+WV26dJEk3XXXXerVq5ffMZ988okWL14sm80mh8OhpUuXqmvXrlqyZIm2bNmi\nrKwsSdLjjz+u7Gz/67fdbrcOHDigU045RZJ06NAhWa1Ww8+HIGdSBLz4omccED76ywFoTyTCUyLx\n93z27+schzNJbmvWrFF9fb2WLVumrVu36r777tMTTzzhO759+3YtXbpU/fv39923evVqv2Puvvtu\nFRcX69xzz9VLL72kp59+WvPmzVNZWZl+97vf+cJgMLNnz9bkyZN14YUXyuPxaNu2bfrFL35h+PkQ\n5NCCvz8UhLuOa90vzmOz0zMOCFOw/nL0lgNSV6qFM8Te5s2bNXz4cEnSgAEDtH379hbHy8rK9NRT\nT+ngwYO67LLLdNNNNwUc89BDD/kqaY2NjUpPT5fb7daXX36pBQsWqLy8XNdcc42uueaagOczYcIE\nDR48WFu3bpXdbldxcbHvMY0gyKFdVO/CF6xfnMdmp2cc0AHN+8vRWw5ILIQuJKLKyko5nSdmb9hs\nNrlcLtntTZ8l48aNU2FhoZxOp+bMmaO1a9cGHOMNXFu2bNGf/vQnvfDCC6qurtaMGTN0ww03qLGx\nUbNmzVL//v3Vt2/fgOeUl5enMWPGhPV8CHIIG9W79tEvDogNesshEqIRPpp/LhJugCZnDByoHnl5\nEX/cjP37gx53Op2qqqry3Xa73b4Q5/F4dP311/vWsxUUFGjHjh1Bx7zzzjt64okn9NRTT6lLly6+\n8JaRkSFJGjp0qHbu3Bk0yHUEQQ4RRfXuBPrFAbFBbzkYEa8QRXgDEsfAgQO1du1ajR07Vlu3blWf\nPn18xyorKzV+/Hi98847yszMVGlpqaZMmaLa2lq/Y9544w0tW7ZMzz//vHJzcyVJX3zxhW699Vat\nWLFCbrdbW7Zs0eTJk9ucx7PPPqvvf//7HQ55BDnEhBmrd/SLA2KD3nKQCEwA2jd69GitX79e06dP\nl8fj0T333KOVK1equrpa06ZNU1FRkWbNmiWHw6Fhw4apoKBAbre7zZjGxkbdfffd6t69u+bOnStJ\nuuiii3TLLbdo4sSJmjp1qtLS0jRx4kSdffbZbc7jhRde0MiRI3Xbbbfp6aeflsfjaXG8R48ehp4P\nn2yIm1QPd/SLA2KD3nLmRHADECqr1dqm2Xbv3r19/z5p0iRNmjSp3TGStGnTJr+/44c//KF++MMf\nBj2PCRMm6Ac/+IH27dun6667rsUxi8WikpKSoOO9CHJIKKkU7ugXB8QGveVSH6ENQCq55ZZbdMst\nt2jhwoW66667wn4cghwSXjKHO/rFAbFBb7nUQGADYCYLFy7Uiy++qI0bN8rlcmno0KGaMWOG4abg\nBDkkpWQJd/SLA2IjWG85JB4CGwBIDzzwgL788ktNmTJFHo9Hr732mv7zn/8YbgpOkEPKaH1hEK9g\n17r5tyT6xQEx0ry3nBdNwuOP4AYAba1fv14rVqzwVeAuu+wyTZgwwfB4ghxSVqyrdu01/wYQWzQJ\njy3CGgCEprGxUS6XSw6Hw3fbZjO+QRdXlzCVaIY7mn8DiYUm4ZFHWAOAyJkwYYJmzZqlcePGSZLe\nfvttjR8/3vB4ghxMLxLhjubfQGKhSXh4CGoAEDuzZ8/Wueeeq40bN8rj8Wj27Nm67LLLDI8nyAF+\nhBruaP4NJBaahPtHUAOAxFJQUKCCgoKwxprvUwwIU7DNVGj+DSQWMzQJJ5QBgLkR5IAwtb6Ick2Y\nJP3+t21+jubfQOwlepNwQhgAoKMIckCElBcvliQ5V78j+949cvU4TZVXjtXm8YVxPjMkE6MX+InY\nNzHRJEKTcAIbACCQH/3oR7r66qt1xRVXKC0tLeTxBDkgUux2ld91rw7dUSz7/v1y5eXJk5GpYX5+\nlIvw5BDr/mOhXPQ3/1leT/7Fukk4oQ2tWWqqW3weAEBzP/7xj/X666/rgQceUEFBgSZPnqz8/HzD\n4wlyQAe1/qD2ZGSqodeZQcckSvNy+Jds/ccIdcFFq0k4wQ0BuVzqurhYzlVvn5ihMWZc08wNO5de\nAJpcdNFFuuiii1RbW6t3331Xt9xyi5xOp6655hoVFhb6+ssFwl8TIFwR/KCOdfNyBJfM/cf4kiC4\ncEM6oQ2h6Lq4WCc1WzOdtvs/vtvld90br9MCkIBKS0v1xhtvaP369RoxYoTGjh2r9evX6+abb9bv\nf//7oGMJckCYov1BTbiLj1TrP0a1riUjIZ3Qho6w1FTLueptv8ecq9/RoTuKmWYJQJI0cuRInX76\n6ZoyZYoWLFigTp2aNscbPHiwrrnmmnbHE+SAMMTrg5pwF32p3H/M7KEuWEg/dNytQef3kSMt+dsS\nIL7s+/fLvneP/2N798i+f3+70+8BmMOTTz6pPn36tLhv69atGjBggF5//fV2xyfn1QgQZ4n0QU24\niywz9B+TTrxuUv210vz9UV5Rozf+dtDvz1Ucr9Oxqnp1zc2I1akhRbny8uTqcZrSdv+n7bEep8mV\nlxeHswKQSDZv3iy3260777xTd999tzwejyTJ5XJp0aJFWrVqlaHHIcgBYUj0D2rWSYUv0fuPRVqk\nphHG+zVm5HnkZDmUm5OuI8faVuVys9OVkxV8UTlghCcjU5VjxrWYeu9VeeVYplUC0AcffKBNmzbp\nwIED+s1vfuO73263a9q0aYYfhyAHhCHZPqip2oUmEfqPJZtAQSoar7Nww6cjzabze3fVug/bVtPP\n792VaZWImEB9Rb33AzC3uXPnSpJWrFihSZMmhf04BDkgTMn+QU24CyzW/cdSWaJtHDKhoLck6eNd\n5ao4Xqfc7HSd37ur734gIgL0FQUASXrkkUc0d+5clZaWqrS0tM3xe+81tmkeQQ4IVwp+UMeyqpIM\n/PUfQ3KzWS2aNPIsjb30TB2rqldOloNKHKLGSF9RAObTr18/SU27U3YEVyhAB5nhg9qs1TtbXa0y\nD5eruktXNaZ3ivrv+2DLJwlXwUpVjjQbG5sgquobGvmyAIBfffv21d69ezVkyJAOPQ5BDgiRpaY6\nZSpwHZHK4c7S6NKFf3hUPUvXKevgAVV1O0VfDRmhzTfOkcfGn81UxPsakdLo9mjl+7uapu8eq1Nu\nzonpu7YgTecBmMeMGTNksVh8u1U2Z7FYVFJSYuhxuCIBjHK51HVxsZyr3j6xJm7MuKY1cXbeSlLq\nhLsL//Co+q1c7rudfWCf7/Y/fnRrVH83VbkY432NCFv5/q4WG+ocOVbnuz1p5FnxOi0ACeS9996L\nyOPwKQUY1HVxcYtdKtN2/8d3u/wuY4tSzSjZ1t3Z6mrVs3Sd32M9S/+mD2fNjsk0S8QG72tEUn1D\noz7eVe732Me7yjX20jOZZgnAt9nJvHnz/B5nsxMggiw11XKuetvvMefqd3TojmKmY4UoWNUpniEv\n83C5sg4e8Hssq3y/Mg+X63j302N8VogG3teItGNV9arw06dQouk8gBPY7ASIIfv+/bLvbdt7SpLs\ne/fIvn9/ym94EkvxrOJVd+mqqm6nKPvAvjbHqrrmqbpL16ifA2KD9zUijabzAIy4/PLLJUmTJ0/W\noUOH9NFHH8lutys/P1+5ubmGH8carRMEUokrL0+uHqf5P9bjNLny8mJ8RuZ08cBz/f4TSY3pnfTV\nkBF+j301ZDjTKlMI72tEmrfpvD80nQfQ2v/+7/9q4sSJWrFihZYvX65JkyZp3Tr/yzv8oSIHGODJ\nyFTlmHEt1tJ4VV45lulXcdZemAu1krf5xjmSmtbEZZXvV1XXPH01ZLjvfqQG3teIBprOAzDqiSee\n0GuvvaZTTjlFkrRnzx7dfPPNGjHC/xfKrRHkAIPKixdLalo749vd7sqxvvuRuEJdj+ex2fWPH92q\nD2fNjmkfOcQe72tEGk3nARhlt9vVrVs33+3TTjtN9hB2TCbIAUbZ7Sq/614duqOYflMppCNTMyO9\nZo+2A3HA+xpRQtN5AIGsWLFCknT66adr9uzZmjRpkux2u9566y2dc845hh+HIAe0o3WjYE9GJhsg\nQBLBK5U0f1/THBwAEE2lpaWSpKysLGVlZfnWxWVmhvaZQ5ADAqFRMMRFvanwnkcE1Tc0MrUSgF/B\n+sTV1tYafhw+mYAAaBRsclzUmw7veURCo9ujle/vatrs5FidcnNObHZis1rifXoAEsiqVav02GOP\nqbq6Wh6PR263W7W1tdqwYYOh8bQfAPxor1GwpaY6xmeEWPNe1Kft/o8sbrfvor7r4uJ4nxqigPc8\nImXl+7u07sM9OnKsTh5JR47Vad2He7Ty/V3xPjUACeaBBx7Q/Pnz1bt3bz344IO6+uqr9V//9V+G\nxxPkAD+MNApG6uKi3nx4zyMS6hsa9fGucr/HPt5VrvqGxhifEYBElpOTo6FDh+o73/mOjh8/rrlz\n52rr1q2GxxPkAD9oFGxuXNSbD+95RMKxqnpVHKvze6zieJ2OVdXH+IwAJLJOnTrp888/V+/evbVp\n0ybV19fr+PHjhscT5AA/vI2C/aFRcOrjot58eM8jEnKyHMrNSfd7LDc7XTlZjhifEYBEduutt+rh\nhx/WyJEjtWHDBl1yySW64oorDI9nxT4QAI2Czct7Ud984wsvLupTF+95dJQjzabze3fVug/bVvTP\n792V3SsBtDB48GANHjxYkvTqq6/q6NGj6ty5s+HxBDkgEBoFmxoX9SbEex4RMKGgt6SmNXEVx+uU\nm31i10oAaG7fvn1asmSJNm3apLS0NA0bNkzz589Xly5dDI0nyAHtoAG4SXFRb1q859ERNqtFk0ae\npbGXnkkfOQBBzZ8/X1dccYXuu+8+SdIrr7yiefPm6cknnzQ0njVygB+WmmqlffE5uxPCd1FPiDOn\n+oZGlVfUsNsgQuZIs6lrbgYhDkBAhw8fVmFhoZxOp5xOp77//e9r3759hsdTkQOaowk0/LDUVFOV\nMxmaOiNc9Q2NVOIAGJKfn6+3335b48Y1bba1du1a9e/f3/B4rkyBZrxNoL28TaAlqfyue+N1WogX\ngr1peZs6e3mbOkvSpJFnxeu0kMAI/wCM6tu3rywWizwej5YvX65f/OIXslqtqq6uVufOnXX33Xcb\nehyuRIBvtNcE+tAdxVRjTIZgb07tNXUee+mZVFrQBuEfgFE7d+6MyOOwRg74Bk2g0Vx7wZ71k6mL\nps4IVXvhnzWWAPypqanRAw88oKuvvloTJ07Uvffeq+pq49cXBDngGzSBRnMEe/OiqTNCRfgHEI5f\n/vKXqqmp0T333KOlS5eqoaFBCxcuNDyeIAd8w9sE2h+aQJsPwd68vE2d/aGpM/wh/AMIR1lZmRYs\nWKC+ffuqb9++WrBggcrKygyPJ8gBzZQXL9aRH8xWw7d6ymOzqeFbPXXkB7NpAm1CBHtzm1DQWyMu\nOE0n5aTLYpFOyknXiAtOo6kz/CL8AwiHx+PRsWPHfLePHTsmm8343ws2OwGaowk0mvEGeOfqd07s\nWnnlWIK9CdDUGaHyhvyPd5Wr4nidcrNP7FoJAP58//vf1/e+9z2NHDlSkvTee+/pxz/+seHxBDnA\nD28TaJgcwd70vE2dgfYQ/gGEauTIkTr//PP197//XW63W4888ojOOeccw+MJcgDQDoI9AKMI/wCM\nuu666/S///u/6tOnT1jjCXLANyw11VRdAARU39BIpQUAEDF9+/bVihUrlJ+fr06dOvnu79Gjh6Hx\nAYNcdXW1MjMjezHrdru1aNEiffrpp3I4HFqyZInOOOOMiP4OIGQul7ouLpZz1dsn1kGNGde0DsrO\ndx2hyKtM/C359zvD322SsG9OjW6PVr6/q2nt07E65eacWPtks1rifXpIEAR9IPG1l0WeffZZvfzy\ny+rSpYsk6a677lKvXr38jvnyyy91xx13yGKx6Oyzz9bChQtltVq1fPlyvfTSS7Lb7br55pt969/8\n+eijj/TRRx+1uM9isaikpMTQ8wl4leptSjdo0CBDD2TEmjVrVF9fr2XLlmnr1q2677779MQTT0Ts\n8YFwdF1crJN+/1vf7bTd//HdLr/r3nidVsQkQ7iKpbD+e7hcSr//ftlLSmT9+mu5u3eXa9Qo1f38\n5+2G/Y4ERySGle/v0roPT/QUPHKsznd70siz4nVaSBAEfSB5tJdFtm/frqVLl6p///6++1avXu13\nzL333qtbb71VQ4YM0YIFC1RSUqIBAwbo+eef16uvvqq6ujoVFhbqkksukcPhvwXJe++916HnE/AK\nZOHChZo3b56uuOIKFRUVBTyBUGzevFnDhw+XJA0YMEDbt2/v8GMCHWGpqZZz1dt+jzlXv6NDdxQn\nTOWFQBY/6fffr/TnnvPdtu3ZI9s3t+vmzw86NtL/v8U7GIb6fOJ9vh1V39Coj3eV+z328a5yjb30\nTKovJkfQB5JHe1mkrKxMTz31lA4ePKjLLrtMN910U8AxZWVlGjx4sCRpxIgRWr9+vaxWqy644AI5\nHA45HA717NlTO3fuVH5+vt/z2bt3r5YsWaKNGzfKbrdrxIgRmj9/vq8i2J6AQe7SSy/Vm2++qd/8\n5je65pprtGDBghbzNY3O3WyusrJSTqfTd9tms8nlcsnO9DXEiX3/ftn37vF/bO8e2ffvj/omFwS0\nBFdTI/uaNX4P2UtKVFdUJGXEbmODZHu9GDnfRA57x6rqVXGszu+xiuN1OlZVz8YWJkbQB5JLe1lk\n3LhxKiwslNPp1Jw5c7R27dqAYzwejyyWpqp7VlaWjh8/rsrKSmVnZ/t+NisrS5WVlQHP57bbbtPY\nsWN1//33y+1267XXXtPtt9+up59+2tDzCZqgMjIy9NOf/lT79u3TzTffrJycHN9JG5272ZzT6VRV\nVZXvttvtJsQhrlx5eXL1OE1pu//T9liP0+TK6/gFZrJdeKMly8GDsu7b5/eYdd8+WQ4elKdnzxif\nVWoJ5T0S69CXk+VQbk66jvgJc7nZ6crJ6vhsFSQvgj4QnvKsrrJF4e95eWVj0OPBsojH49H111/v\nC2IFBQXasWNHwDFWq9V3X1VVlXJyctr8bFVVVYtg11plZaVmzJjhu/39739fr732msFnK1mDHfzr\nX/+qcePGKScnR2vXrlVJSYnee++9sEKcJA0cOFDr1q2TJG3dujXsrTaBSPFkZKpyzDi/xyqvHGt4\nWmVe5f6A/yC5ebp1k7t7d7/H3KeeKk+3bjE+I3ML9l4L9R8jHGk2nd+7q99j5/fuSrXF5LxB3x+C\nPpB4gmWRyspKjR8/XlVVVfJ4PCotLVX//v0DjjnvvPNUWloqSVq3bp0GDRqk/Px8bd68WXV1dTp+\n/Lh27doVNO/069dPb7zxhu/2X//6V5133nmGn0/Actgtt9yiHTt26O6779awYcMMP2Awo0eP1vr1\n6zV9+nR5PB7dc889EXlcoCPKixdLaloT59u18sqxvvtbI5yZTEaGXKNG+dbENecaNSqm0yoRWUbf\nyz+80KnMhpNU+lW1Ko7XKTf7xGYWMDdv0G++Rs6LoA8kHn9ZZOXKlaqurta0adNUVFSkWbNmyeFw\naNiwYSooKJDb7fabX26//XYVFxfroYce0re//W2NGTNGNptNM2fOVGFhoTwej4qKipSe7v/LHqkp\nuL3++utauHChLBaLampqJEkrVqyQxWLRJ598EvT5WDwej8ffgcWLF+tnP/tZxFsQhGL37t0aNWqU\nfv/i68o7NfQ1eUAoAm0tT3BDi10r9+2T+9RTDe9aidRR53Krotql3Ey70u0tJ7Qk8jo/RFeLXStb\nBX12rUQ07d+3Vz8onKySkhKdfvrp8T4dQ6J9bZ+M/006IuAVSHFxcSzPA4g7T0amGnqd2RTcKo/H\n+3SQSOx21c2fr7qioqY1cd26UYkzoXS7VXk5/qfKBfvCh5CX2mxWiyaNPEtjLz2TPnIAYoqvkmF6\neZX7pZoaLtDRvowMNjZB0MqcP4FCHgEvtTjSbGxsAiCmCHIwJd+FVQcaPcPkCP+m0+j26MWNB/SP\nL47rUKVLJzvtGtQrW4VDTwlrCp3RadsEvsRW39BIJQ5AXHClClPrSKNnmBTh37Re3HhA724/4rtd\nXuny3Z55cfTCFoEvMbVYG3esTrk5rI0DEJpjx45p5cqVqqioUPNtS+bMmWNoPFcdMB3fRVGCNXpG\nciD8m1Ody61/fOF/7ezmL45r6uBuhqZZRlN7gY+gF1kr39/VYrfKI8fqfLcnjTwrXqcFIIn89Kc/\nVXZ2ts4++2xfc/FQEORgWjR6RsgI/6ZVUe3SoUqX32OHKl2qqHYF3AglUbBWL3LqGxr18a5yv8c+\n3lWusZeeyTRLAO0qLy/XM888E/b4+H59CMRY8wsZGj0jVEbCP1JTbqZdJzv9f/d5stOu3Mzk/V40\n3GbpZnasql4Vx+r8Hqs4XqdjVfUxPiMAyejcc8/Vzp07wx6fvJ88QEfR6Bkh8oZ/2562zX8J/6kt\n3W7VoF7ZLdbIeV3YKzvu0yojjXYKweVkOZSbk64jfsJcbna6crISuzoLIDH885//1OTJk3XyyScr\nPT1dHo9HFotFJSUlhsYT5GBqdT//uST5b/QMtEb4N7XCoadIaloT59218sJvdq00k1ArdqkY/Bxp\nNp3fu2uLNXJe5/fuyrRKAIY8+uijHRpPkIOp7HfmtbwIodEzQkT4Ny+b1aKZF+dp6uBuIfWRM7tU\n3XVzQkFvSU1r4iqO1yk3+8SulQBgRLdu3fT++++rqqpKktTY2Kjdu3frpz/9qaHxBDlAotEzjCP8\nm1663ZrwG5sko2TbddNmtWjSyLM09tIz6SMHICxz5sxRTU2NvvrqKw0aNEh///vfNWDAAMPj+SoR\nptPiYqCmRpavvpJqauJ3QkhO3vBPiDOlOpdb+4/Vq87ljvepmIa/TVkSYXMWR5pNXXMzCHEAQvb5\n55/rueee0+jRo/XDH/5QL7/8sg4cOGB4PBU5mBNNnRFJNTVU50yi0e3RixsP6B/N1skN+madHE2g\n4yfW1bz6hkaqcAA67OSTT5bFYtGZZ56pTz/9VJMmTVJ9vfFdb7lihSk1/vpRmjqj4/hCwHRe3Hig\nxc6V5ZUu3+2ZFyfW1D+cEKkNWhrdHq18f1fTurhjdcrNObEujiCPaAn0+m2s8t/LEMnj7LPP1uLF\ni1RKtNAAACAASURBVHXttdfqtttu04EDB9TQ0GB4PFcaMB1LTbWcq972e4ymzghF+v3384WAidS5\n3PrHF8f9Htv8xXFNHdyNzU9SRKAL5+c/2K91zYL8kWN1WvfhHmU2VOvKK/NjdXpIIfGeGoz4WrRo\nkT788EOdddZZmjt3rjZs2KBf/epXhscT5GA69v37Zd/bdsto6URTZzY+QbtqamRfs8bvIb4QSE0V\n1S4dqnT5PXao0qWKaheboKSwdoN8xdchBflE27wFkUdIQ3tsNpssFov+/Oc/a8qUKcrJyVGfPn0M\njyfIwXRceXly9ThNabv/0+YYTZ1hlOXgQVn37fN7jC8EQrdrw4awxvUeNizCZxJYbqZdJzvtKvcT\n5k522pWbyUdqKot0kE/VtgxmQEBDpPzxj3/UmjVrdODAAV111VVasGCBrrnmGv3gBz8wNJ5PHZiO\nJyNTlWPG6aTf/7bNMZo6wyhPt25yd+8u25621V2+EPAv3LDWkceMZNBLt1s1qFd2izVyXhf2ymZa\nZYqLV5APNzQQAI0jmCFeXn/9dS1fvlxTp07VSSedpFdeeUXf+973CHJAMOXFi5XZUE1TZ4QvI0Ou\nUaN8a+KaM+sXAtEIah0V6JzCDXiFQ0+R1DSVzrtr5YXf7FqJ1JZsQT7Rwkk0g2WiPVfAKKvVKofj\nRCU/PT1dNpvxnXAJcjAd7x98mjqjo7zB36xfCCRicDMq3IBns1o08+I8TR3cTRXVLuVm2hPuAh7R\nQ5APH2ELaGvw4MFaunSpampqtGbNGi1btkxDhw41PJ4gB9Pw+yHibeoMhMNuN+UXAskc4NpjNOCl\n261sbGJCBHkAkfTzn/9cy5cv1znnnKMVK1aooKBA06dPNzyeIIeUx7eAiDoTfSGQyiEumNbPO5ab\nrCDxEOQBRILVatX48eM1YsQI330HDhxQjx49DI0nyCGlBQ1xNTWmqqIgRlL4dWXWEOfPrg0bVO+W\nKhuscqa55bAS7lJZnctNBQ5AxC1dulTLly9Xbm6uJMnj8chisaikpMTQeIIczMflUvr99zeta/r6\na7m7dz+xrsnOWwJhSvHXFSHuhEaPtOrrTtp5zKGjDVZ1TnOrb069xnywQTZL258n4CWvRrdHL248\noH80WxM36Js1cTarn/+zASAEJSUlWrdunbKyssIan/xXF0AAgapx6fffr/RmOw3a9uzx7TxYN39+\nTM4NqSeVX1eEuJZWfd1JGw+dqLZWNNh8t8f2qG3z85HeOROx8+LGAy12qSyvdPluz7yY7f0BdMw5\n55yj+vp6ghzQXMAplTU1sq9Z4/eQvaREdUVFKTcdDjGQwq8rQlxL9W5p5zH/a6N2HnPoilNr5TA4\n887ff1vCXeKoc7n1jy+O+z22+Yvjmjq4G9MsAXTIxIkTdeWVV6pPnz4t2g4856e1kT8EOaScYOvi\nLAcPyrpvn99j1n37mtY2mWTTCkROqr2uCG+BVTZYdbTB/8X70QarKhus6pLuDvvxqd4ljopqlw75\naf4tSYcqXaqodrHhCYAOueeee/SLX/zC8OYmrRHkYCqebt3k7t5dtj172hxzn3pq0wYVQIhS5XVF\ngGufM82tzmluVTS0bdjaOc0tZ1r4IS6YYP/fEPKiIzfTrpOddpX7CXMnO+3KzeQSCkDHZGdna9Kk\nSWGP568QzCUjQ65Ro3xrl5pzjRqVtNPfEGdJ/roiwBnnsEp9c+pbrJHz6ptTb3haZSRRxYuOdLtV\ng3plt1gj53Vhr2ymVQLosAsvvFBz587ViBEjlJaW5rvfaLgjyCHl7HfmBZ1eWffzn0tqWrtk3bdP\n7lNPPbG7IBCmSLyuCFTJYUz3pg1N2uxa2b3tRifx1N7riaDXvsKhp0hqWhPn3bXywm92rQSAjqqp\nqZHT6dSWLVta3E+QAwKx21U3f77qiopStt8X4iDM1xXhLfnYLE27U15xam2LPnLJhkpe+2xWi2Ze\nnKepg7vRRw5AxN17770dGk+QQ0pqryonScrISKoNKJAkWr+uWjUIJ7ilDodVHdrYJFGxHq9tA/B0\nu5WNTQAkHIIcAERDqwbh9SedpIqBA6Vp0yRb240ygGSQ6tM1aQAOIJkQ5JCy9jubmrUG6ynH1EpE\nS+sG4emHDinvL3+RJO0tLIzXaSGC6t1K6qmV0ZDs1TwagAOIh6NHj6pz584hjyPIIeV5A530Tahr\nVSlxd+9+YlMKO28JdNy///pXnfv2236P5X74ob6eMkWe9PQYnxUipdEjrfq6k9/NTmwUbQJK9Goe\nDcABxNonn3yioqIi1dbWatmyZZoxY4Yefvhh9evXz9B4rlphKvudeeq6cF6LSoltzx7ftvF18+fH\n69SQArwXqo6jR+U4fNjvzzgOH1ba0aOqP4Vd75LVqq87tWg/UNFg890e2yOxdq5MJvGu5tEAHECs\nLVmyRI899ph+9rOfKS8vT4sWLdLChQv1yiuvGBpPkIOpWGqq5Vzlv1JiLylRXVER0ywRstYXoA2d\nO6u+SxelHzrU5mfru3RRQxjTJ5AY6t1NbQf82XnMoStOrWWaZRTEIuTRABxArNXU1Kh3796+25dc\ncomWLl1qeDx/lWAq9v37Zd+7x+8x6759OlzlUUO3dtbWAd8IdHHpSU9XxcCBvjVxzVVccAHTKpNY\nZYNVRxv8J7WjDVZVNlhTcifLRBapKZs0AAcQa7m5udq5c6cslqZ5+W+++WZIa+UIcjAVV16eXD1O\nU9ru/7Q91uM0ufJOrKdrs7YO+IaRFgJ7p02T1LQmznH4sOq7dFHFBRf47kdycqa51TnNrYqGtjuP\ndk5zy5lGiEs0oVTzaAAOIJYWLVqk22+/Xf/85z81aNAgnXHGGXrwwQcNjyfIwVQ8GZmqHDNOJ/3+\nt22OVV45Vp6MTL/jCHWQQmzebbNpb2Ghvp4yRWlHj6qhc2cqcSnAYZX65tS3WCPn1TennmmVScbf\ne/piizTojKbqa/6lF1GJAxA1VVVV+vOf/6zq6mq53W45nc6QxhPkYDrlxYslSc7V78i+d49cPU5T\n5ZVjffe3p3mokwh2ZtCRJt6e9PQ2G5tY6uoId0lsTPemDU387VqJ5NS6lYS32fvuv5cGHRfvnTYB\nJLc777xT9fX1mjBhgiZMmECQA9plt6v8rnt16I5i2ffvlysvL2AlzojWwc6LgJf8OhLg/GpsVI9l\ny5S7ZcuJ6ZYDBzZNt6RJeNzs2rAx5DHnSOotq6otnZTpqZX9iFu2HkMjf3KIqo62koj3TpsAktur\nr76qL774Qm+//bZ+/OMfKzc3V9/97nf1ve99z9B4ghxMy5ORqYZeZ0bt8f0FPMJdcoh4gPtGj2XL\nWmyAQpPw2AsntAVil1s5nuqwHrv3MEJfIohmKwkjf0cIewB69eqlG264QT179tQzzzyjp59+miAH\nJKL9zjzCXAKLVoCTmqZT5m7Z4vcYTcKjJ5LBLZKCnRchLzYSoZUEYQ8wt9WrV+utt97Stm3bdNll\nl+nOO+/UwIEDDY8nyAEx5q3UEegSRzQDnFcaTcJjJlHDm1GBzp+AF1nJ0kqCsAekrpUrV2rixIn6\n1a9+pbS0tJDHE+SAOKE6F3+xCHBeNAmPvmQPcO3x9/wId+FLpVYSRv+WEfiAxFBWVqZ+/fpp5syZ\nslgs2rp1a4vjF110kaHHIcgBcUR1Lj5iGeC8aBIeeake3Iygehc+M7aSCPVvH8EPiI4///nPWrJk\niR555JE2xywWi5577jlDj0OQAxIAfepiIx4BrjmahBO+YoXqnTG0kgiO4AdEx5IlSyRJxcXF6tOn\nT4tjratzwRDkgAQTqJ1BIAS/9sU7wPmYtEk44S0xtP7/gWAn2SxNu1NecWptiz5yCE8of2sJfTCz\nzZs3y+12684779Tdd98tj8cjSXK5XFq0aJFWrVpl6HEIckCSY3pmYAkT4FoxQ5NwwlviM2vVrnXz\nb+lEA3DEDtU+mNkHH3ygTZs26cCBA/rNb37ju99ut2taCLN0CHJAiiDQnZCoAc6vFGwSTohLXqkc\n7jra/BvxFe7fdQIgEtHcuXMlSStWrND48eNlt9vV0NCghoYGZf7/9u4/PuY7weP4O78GMX6s/nDV\nbWmoY+NSTVtFl73tclW3RRFUNQ/tOa3Hnl2KqqxoTwhuT38cmjqcarSXpI+qrccWW2qvu6h7rJBF\nGyQpm1s2olUkwSQzc3+oqUgymSQz8/0xr+fjsY81P74znwkqr3y+388nPj7g1yHkAJuJ5KCzVMB9\ny26bhBNx9mOXUzJDufk3zIuZP5iZw+HQ448/ri1btuj06dN66qmnlJ6eriFDhgR0PCEH2FQkbW9g\nxYCT7LdJOBEXGa7/fbZK1Jlh829YA+GHcMrKytL69eslSXfeeac2bdqkZ555hpADIh0RZ3522iSc\niItMVjkV0yqbf8N6mvNvEPFnHI/Ho5dffllHjx6Vw+HQokWL1LVr1zrPS09PV4cOHTR79my5XC7N\nmzdPpaWlcjqdWrBggbp166aZM2fq7NmzkqS//OUvuueee/Tqq69q0aJFys/PV9u2bSVJb7zxhtq1\na1fveKqrq3XzzTf7bt90002+hU8CQcgBNhQJEWflgLvGLpuEE3G4nhlPxbTT5t+wvmD8+0UMNs+O\nHTvkcrmUm5urgwcPaunSpcrKyqr1nJycHB07dsy3KXdeXp7i4+OVl5enkpISZWRkaN26dXr11Vcl\nSefPn1dqaqrmzZsn6epm32vXrlWnTp0aHc99992n559/Xo899pgkaevWrerbt2/An4eQA2zG7hFn\nh4C7xg6bhBNxaIwZTsWMxM2/YW/Fe/fqzDffGD0My9m/f78GDRokSerbt68OHz5c6/H8/HwVFBRo\n/PjxKikpkSQVFRVp8ODBkqSEhAQVFxfXOmbFihWaNGmSbr31Vnk8Hp08eVILFizQ2bNnNXbsWI0d\nO7bB8bz00kvKzs5Wbm6uYmNjdf/992tiE66PJ+QAG7FzxNkp4K5n5U3CiTg0lZGzdWz+DaCiokJO\np9N3OyYmRjU1NYqNjdWZM2e0atUqrVy5Ulu3bvU9p3fv3tq1a5eGDBmigoIClZWVye12KyYmRl99\n9ZX27t3rm42rqqrSpEmT9PTTT8vtdis1NVV9+vRRr169ao2jvLxct9xyi86ePatHH31Ujz76qO+x\ns2fPqkuXLgF9HkIOsAkizqL8bBJu5r3liDgEQyjD7sb94tj8GzCP/YeL1PHU+aC/7jdfl/t93Ol0\nqrKy0nfb4/EoNvZqDm3btk3nzp3T1KlTVV5ersuXLyshIUFjxoxRcXGxJk6cqOTkZCUmJirm2+2B\ntm3bpp/+9Ke+223atFFqaqratLk6+9+/f38VFhbWCbn58+dr9erVmjRpkqKiouT1emv9/86dOwP6\nvIQcYHEEnD3U2iTchnvLAYEIRtg1tl8cm38DkSs5OVm7du3S8OHDdfDgQfXs2dP3WGpqqlJTUyVJ\nmzZtUklJiUaPHq0DBw5owIABSktL06FDh3Tq1CnfMXv37tW0adN8t0+cOKEZM2Zo8+bN8ng8ys/P\n1+OPP15nHKtXr5YkffLJJy36PIQcYGF2jbhICrj6mH1vOWbjEC7NCTv2iwPQkKFDh2r37t2aMGGC\nvF6vMjMztWXLFlVVVWl8A5c0dO3aVa+//rrefPNNtWvXTosXL/Y99uWXX+qOO+7w3e7evbtGjhyp\ncePGKS4uTiNHjtTdd99d5zWvnYrZkCVLlgT0eQg5wKKIOHuy295yQDA1FnbsFwfAn+joaC1cuLDW\nfd27d6/zvNGjR/t+3alTJ7311lv1vt5vfvObOvdNmTJFU6ZM8TuOfv36SZJ27dqlyspKjRgxQrGx\nsfroo48a3KqgPoQcYEF2jLhID7hrzL63HLNxMJMb/zx+L3kg+8UBML1rp1u+++67ys3NVXT01f9u\nPfrooxo3blzAr8PPpQCLsVvEFe/dS8Rd59recvWx0t5ygBHK8z9TW/eleh9jvzgAZnPx4kV9c902\nEmfPnlVVVVXAxzMjB1iE3QJOYhauPmbeW47ZOJhdrDy6w12mL2LuqvPYbZV/liO6owGjAoD6Pffc\ncxoxYoSSk5Pl8XhUUFCg9PT0gI8n5AALsFvEEXD+mXFvOSIOVnG/66gkqTSmsyqiW8vpuaw73GW6\n33VUxXu9tZ5r1AblACBJo0aN0sCBA3XgwAFFRUXpX//1X3XTTTcFfDwhB5gcEReB/OwtJ5l7fzkg\n3GoUraqo1or3XlasPIqWV/1chUrWsVr318fIDcoBwOVy+bY6SE9P14YNGzR16lQ5HPUv2nQjQg4w\nKQIOtfaWkwzbX47ZOJiRR1H6o+Nv6515i5ZXsfKovTfwa00kwg5AeC1cuFCdOnXS559/rtjYWP35\nz3/WL3/5S/3qV78K6HhCDjAhO0UcARc8Zt9fDginPzr+Vl84vrsWriIm3ndtXD9XYVDeg7ADEEpH\njhzRBx98oE8//VRt2rTRsmXL9NhjjwV8PCEHmAwRh/oYtb8cs3EwoxpFqzSmc72PlcZ0VrKONXg6\nZUsQdgCCKSoqSi6XS1FRUZKkc+fO+X4dCEIOMAkCDv6YfX85IJyqolqrIrp1vY9VRLdWVVTrJp9W\n2RyEHYCWSE1N1dNPP63y8nItXrxYO3bs0M9+9rOAjyfkABMg4tCYa/vLtfrqqzqPhWp/OWbjYFbx\n3styei6rIia+zmNOz2XFey8bMCrCDkDTDB48WH369NG+ffvkdruVlZWlXr16BXw8IQcYzC4RR8CF\nlpn3lwPCzd9+cXe4y0JyWmVzEHYA/HnyySe1detW9ejRo1nHE3KAQewScBIRFy5m3F8OMIq//eLM\nqr5ZbuIOiFy9evXS5s2blZSUpNatvztdvEuXLgEdb0jIffzxx9q2bZuWL19uxNsDhrNLxBFwYRbG\n/eU4rRJm05L94syMuAMiV0FBgQoKCmrdFxUVpZ07dwZ0fNhDbtGiRfrDH/6g3r17h/utAcPZJeAk\nIs5IZtlfDgiHUOwXZ3bEHRAZPvnkkxYdH/aQS05O1pAhQ5SbmxvutwYMZZeII+DMJ9j7yzEbBzMJ\nx35xVsD1doD9nDp1SosWLdJnn32m2NhYDR48WGlpaerUqVNAx4cs5N577z1t2LCh1n2ZmZkaPny4\n9u3bF6q3BUyHgEMoGbW/HBAORu0XZwUN/cCFwAOsY/bs2Ro+fLj+7d/+TR6PR5s2bdLcuXO1Zs2a\ngI4PWcilpKQoJSUlVC8PWAIRh1AL9v5yzMbBTMyyX5yVBPJ3mNgDzKGiokKTJk3y3Z48ebI2bdoU\n8PGsWgmECBGHcDBifzkgXMy6X5zV+Ys9Ig8In8TERP3617/WyJEjJUm/+93v9IMf/CDg4wk5IMgI\nOIQT+8vBzqyyX5ydMKMHhM/vfvc7ffDBB3rppZcUFRWlS5cuSZI2b96sqKgoffHFF36PNyTkHnzw\nQT344INGvDUQUkQcjBDI/nKBbE3AaZUw2o1bDEjW3C/O7og9IDj2tvD7LWbkgCAg4GAof/vLsTWB\nrRXt2RP01+wxcGDQX7MxjW0xYIf94iINp28CoUfIAS1ExMEs6uwvp+BvTQDjhSLeAn39UEVeIFsM\n2HG/uEjV2IweoQcEhpADmomAg9k1ZWsCTqs0v1AHXHPH0NK4Y4sB3IjQQ6QoLCxUr169mn08IQc0\nAxEHKwj21gQwhhkCzp+Wxh1bDKCpAv3BE8EHs5s5c6a2bt3a7OMJOaAJCDhYCVsTWJvZA86fpsQd\nWwwgVJpypgHRByP06NFDK1eu1D333KPWrb/7gdYDDzwQ0PGEHBAgIg5WE+jWBCd+/3u1rarS5fh4\nuWPjwj1M3MDKAefPtc/ljo6Tq5VTjisVivFUq8fAgWwxAMMF4/RyYhBN9c0332jfvn3at2+f776o\nqCi9/fbbAR1PyAGNIOBgZX63Jvh2Rcu79+5VfEWFqpxOnerWTYf6D5A3OtrgkUcmu0acJHmjovVl\nz0f09S29dKV1B7W6fF6dygvl3btd39Nnuu2GxxJiz7PFACyFGUA0VXZ2tiSpoqJCHo9H7du3b9Lx\nhBzgBxEHy/OzNUGXd9+tNVvnrKhQz8OHJUl/GviQIcOFfX3Z8xGd7vrd6ZVX4jv5bicc3aqEo1vV\n9fiOWrN1JfW8jhHbIwDB1twZQALQXkpLSzVz5kyVlpbK6/WqS5cueu2119StW7eAjifkgHrYJeAk\nIg5X3bg1gb8VLbucOKEj/fpxmmWY2Xk2zh0dp69vqX9ltq9v6aWux3coxlOtGE+12lw65/e1Gvo6\nEXiIBNcH4LlLlwwcCYJhwYIFmjJlioYNGyZJ+uijj5Senu6bqWsMIQfcwC4RR8DBH38rWsZXVKp1\nVZUq27MYSrjYOeIkydXKqSut6//zdKV1B7laORsNuMaEYmsEAAilc+fO+SJOkoYPH66srKyAjyfk\ngG/ZJeAkIg6N87eiZZWzrS7H111BEKFh94iTJMeVCrW6fF5X4jvVeazV5fNyXKkIyfsSdwDMzOFw\n6MiRI0pMTJQkHT58WG3atAn4eEIOkH0ijoBDoPytaHmqWzffaZUxNdVqzYqWaKIbV6aM8VSrU3lh\nrWvkrulUXqgYT3XYxnZj3BF2AIySlpam6dOnq2PHjvJ6vTp//rxeeeWVgI8n5BDR7BJwEhGHpvtD\n1276uz591OXECcVXVKrK2da3amWUx6O/+2zvt4+xomWo2G02rqGVKe86tl13HdsuSfU+ZiTCDoBR\n+vbtq+3bt+vEiRPyeDy666675HA4Aj6ekEPEskvEEXBoLm90tP408CEd6devzqxb0p7dvhUsJVa0\nDAW7RZzUvJUpzYawAxBqK1as0PTp0zVv3rx6H1+yZElAr0PIIeLYJeAkIg7B4Y6Nq7WwSUxNtbqc\nOFHvc1nREg0J5sqUZkLYAQi2a9fE9evXr0WvQ8ghYtgp4CQiDqHTuqpK8RX1Lz7BipbBYcfZuHCs\nTGkGhB2Alnr44YclSVu2bNF//dd/Nft1CDlEBDtFHAGHYPC3Ge3l+HhVOZ1y1hNzN65oyWIoTWeH\niLtxMRPJuJUpjXb97ydRB6Aprly5otOnT+u2225r1vGEHGzNTgEnEXEID3dsnE5161brGrlrrq1o\nyWIokcnfYiZmWpnSKMzWAWiKr7/+Wg8//LBuuukmtWrVSl6vV1FRUdq5c2dAxxNysC0iDmi+Q/0H\nSFK9K1pK0t99tpfFUJrB6rNxjS1mYtaVKY1C2AHwZ+3atS06npCD7RBwQMv5W9GSxVAiU6CLmVhh\nZUqjcBomgOvdfvvt2rJli4qKivTcc89p+/btGjVqVMDHE3KwFSIOaJy/6+NudOOKlpI1FkPxN/Nl\n1DfQVp+Na8piJlZbmdIIRB2Af//3f9df//pXHTlyRP/8z/+s999/X4WFhXrxxRcDOp6Qgy0QcED4\nmGkxlObEkRGRZ7WIYzGT8OIUTCAy/eEPf9AHH3ygxx9/XE6nU+vXr9eIESMIOUQOIg4IL6MXQwll\nFIVilsRKEcdiJuZA2AGRIfrbfw+joqIkSS6Xy3dfIAg5WJbdAk4i4mAdRiyGEu4gCkbUWSniJBYz\nMSvCDrCnYcOGacaMGTp//rzeeustffjhh/rHf/zHgI8n5GBJdos4Ag5WE+7FUIwOouZEndFjbioW\nM7EOrq8D7GHq1Kn6/e9/ry5duuj06dOaPn26fvzjHwd8PCEHS7FbwElEHMKrKQudBKKli6EEcg2d\n2YKovm+izTbGxtR3DRyLmVgTs3WAdWVkZCg9PV2DBg3y3Td37lwtW7YsoOMJOVgGEQdYQyCLodhl\nQ3GrBZy/a+BYzMQeCDvA/H75y1+qtLRUhw8f1vHjx33319TU6OLFiwG/DiEH0yPgAGsJZDGUpD27\nA7qGzmqhZHaNXQPHYib2w2mYgPlMmzZNf/nLX7R48WL9y7/8i+/+mJgYde/ePeDXIeRgWnYMOImI\nQ2TwtxhKoNfQFe3Zo1iPR87qalXExanGQjN1Rqvv6xbINXAsZmJvzNYB5vD9739f3//+9/Xhhx/q\nzJkzuvXWW/XHP/5RhYWF6t27d8CvQ8jBlOwYcQQcIom/xVBaV1xs9Bq6Px06rJ+cPq27L1xQ+5pq\nXYiN0/H27fXJbbfJ++0yzagryuvVww183QK9Bo7FTCIHYQcY66WXXlJ0dLSefPJJzZo1Sw899JA+\n++wzrVixIqDjCTmYih0DTiLiELnqWwylsWvojvzpkB7+61/1wNdf+e7vWFPtu72zS5fQDtrCHj59\nusGv22+/7wj4GjgWM4lMhB0QXocOHdL777+vlStXauzYsZo+fbrGjBkT8PGcpwLTIOKAyHDtGrr6\nXLv/7gsX6n387osXFOvx1Lov1uNRxytX6txvVw193liPx+/XrVXNFXUqL6z3ca6BQ32K9uyp9T8A\nweV2u+XxeLRz504NHjxYly5d0qVLlwI+nhk5GI6AA8Ij2FsPtERD19B94JU6VFerfU39UdGuulrO\n6mp906qV39MI7Xj6ZWOf1xnA141r4NASLJwCBNeoUaP0wx/+UMnJybrnnnv06KOPasKECQEfT8jB\nUEQcEJkauobOu2ePKuLidCE2Th3riZKLcXGqiLt6rZ2/0wivP/3SagumNDTexj5vIF+3KK+Ha+AQ\nFJyGCSvyeDx6+eWXdfToUTkcDi1atEhdu3at87z09HR16NBBs2fPlsvl0rx581RaWiqn06kFCxao\nW7du+vzzz/Xss8+q27dnkjzxxBMaPny48vLylJOTo9jYWE2bNs3vBt9PP/20UlNTdenSJV24cEHv\nvPOOOnWqe/p7Qwg5GMKuAScRcUBT1HcNXU10tI63b18rWq453q69aqKjGz2N8H88fyN3VFTAM3bh\nij1/7+Nvxi3G62308wbydbuGa+AQbIQdrGDHjh1yuVzKzc3VwYMHtXTpUmVlZdV6Tk5Ojo4d+PGZ\n8gAAGEVJREFUO6YHHnhAkpSXl6f4+Hjl5eWppKREGRkZWrdunY4cOaKnn35azzzzjO/Y8vJyZWdn\n6/3339eVK1c0ceJEPfTQQ3I4HPWOp7S0VDNnzlRpaak8Ho9uv/12vfbaa744bAwhh7Cza8QRcEDL\nXP+N4Ce33SbpaqS0q67Wxbg4HW/X3nd/IKcR3vfVV43O2DXl9MzGYq+5kXbtffzNuO2/6aaATjdt\n7OsGhAthBzPav3+/Bg0aJEnq27evDt+w32l+fr4KCgo0fvx4lZSUSJKKioo0ePBgSVJCQoKKi4sl\nSYcPH9aXX36pnTt3qmvXrkpLS9Of/vQn3XvvvXI4HHI4HLrzzjtVWFiopKSkesezYMECTZkyRcOG\nDZMkffTRR0pPT1d2dnZAn4eQQ9jYNeAkIg4INm9UlHZ26aL/8fxNvXHU2GmEl2NiAprBCuT0zMYi\nrKWRtrNLl0ZnGHffemtAp5s29nUDjML1dTCDiooKOZ1O3+2YmBjV1NQoNjZWZ86c0apVq7Ry5Upt\n3brV95zevXtr165dGjJkiAoKClRWVia3262kpCSlpKSoT58+ysrK0qpVq9SrVy+1a9fOd2zbtm1V\n0cB2O5J07tw5X8RJ0vDhw+vMEPpDyCEsiDgAzVETHa1vWrWq935/pxG2drsbncGqiIsLSuy1NNKu\nRZe/8bZ2uwM+bVJq+OsGmAGzdSgo/FJtnME/vftSxTd+H3c6naqsrPTd9ng8io29mkPbtm3TuXPn\nNHXqVJWXl+vy5ctKSEjQmDFjVFxcrIkTJyo5OVmJiYmKiYnR0KFD1b59e0nS0KFDlZGRofvvv7/W\n61dWVtYKuxs5HA4dOXJEiYmJkq7O8rVp0ybgz0vIIaQIOACh4u80whivt9EZrEBOz2ws9nbX3Nri\nSLv2Po2Nl9MmYVfM1iFckpOTtWvXLg0fPlwHDx5Uz549fY+lpqYqNTVVkrRp0yaVlJRo9OjROnDg\ngAYMGKC0tDQdOnRIp06dkiT90z/9k9LT05WUlKS9e/cqMTFRSUlJeu2113TlyhW5XC4VFxfXeo8b\npaWlafr06erYsaO8Xq/Onz+vV199NeDPQ8ghZIg4AIFqzh5V/k4jrImKanQGK5B4aizCbr10KSiR\nFuhCJZw2Cbtjtg6hNHToUO3evVsTJkyQ1+tVZmamtmzZoqqqKo0fP77eY7p27arXX39db775ptq1\na6fFixdLkl5++WVlZGQoLi5ON998szIyMuR0OvXUU09p4sSJ8nq9mjlzplr5OTuib9++2r59u06c\nOCGPx6O77rqrwYVR6kPIIejsHHASEQeYTUOnETY2gxVIPDUWYWfatAlapAU648Zpk4gkzNYhmKKj\no7Vw4cJa93Xv3r3O80aPHu37dadOnfTWW2/VeU5iYqJycnLq3D9u3DiNGzfO7zjKysqUkZGhkydP\nKjk5WbNmzfKdptkUhByCys4RR8AB1hLIwh8tjb3LsbFBizQWKgH8I+pgF2lpaUpMTNS4ceO0detW\nLVmyREuWLGny6xByCAo7B5xExAFW5m8GKxixF+xIY8YNaBxRBysrKyvTunXrJEkDBgzQqFGjmvU6\nhBxajIgDzK9472dGD8HUWhJ7RBpgLK6rg9XEfbtlzLVfX3+7KQg5NBsBByCSNBZhRBpgDszWwWqi\nvt1ztKksEXL7Dxdp+N90MXoYuA4RBwAAzI6ogxkdP35cP/nJT3y3y8rK9JOf/ERer1dRUVHauXNn\nQK9jiZCTpD35X0iSBib3NngkkY2AAwAAVkTUwSy2b98elNexTMhdsyf/C2LOIEQcgFBozh5yANAS\nXFcHI91+++1BeR3LhZxEzIWb3QNOIuIAAIhkzNbBiiwZchIxFy52jzgCDgAAXI+og1VYNuQQWnYP\nOImIAwAA/hF1MDPLhhyzcaFDxAEAANRG1MFsLBtyCD4CDgAAoHEslgIzIOQgiYgDAABoLmbrYARL\nhhynVQZPJAScRMQBAIDwIOoQLpYMOQRHJEQcAQcAAIxC1CGULBdyzMa1XCQEnETEAQAA8+C6OgSb\npUKOiGs5Ig4AAMB4zNahpSwVcmg+Ag4AAMCcmK1Dc1gm5JiNaz4iDgAAwDqYrUMgLBFy9/XpYfQQ\nLClSAk4i4gAAgD0xW4eGWCLk0HSREnEEHAAAiCTXwu6i12vwSGA0Qs5mIiXgJCIOAAAAkSva6AEg\neIg4AAAAIDIwI2cDBBwAAAAQWZiRszgiDgAAAIg8zMhZVCQFnETEAQAAANcj5CwokiKOgAMAAADq\nIuQsJJICTiLiAAAAgIZwjZxFEHEAAAAArmFGzuQIOAB212PgQN8GtwAAIDDMyJkYEQcAAACgPszI\nmVCkBZxExAEAAABNQciZTKRFHAEHAAAANF1YQ+7ixYuaM2eOKioqVF1drRdffFH33ntvOIdgWpEW\ncBIRBwAAADRXWENu/fr16t+/vyZPnqySkhLNmjVLH3zwQTiHYEqRFnEEHAAAANAyYQ25yZMny+Fw\nSJLcbrdatWoVzrc3nUgLOImIAwAAAIIhZCH33nvvacOGDbXuy8zMVFJSksrLyzVnzhylpaWF6u1N\nLRIDTiLiAAAAgGAJWcilpKQoJSWlzv1Hjx7V888/rxdeeEH9+vUL1dubViRGHAEHAAAABFdY95Er\nKirSL37xCy1fvlw/+tGPwvnWhutcUUbEATBM9wH9jR6CXz0GDjR6CAAAWEpYr5Fbvny5XC6XFi9e\nLElyOp3KysoK5xAMEYkBJxFxAAAAQKiENeQiIdquR8ABAAAACIWwnloZSYg4AAAAAKES1hm5SBCp\nAScRcQAAAEC4EHJBFKkRR8ABAAAA4UXIBUGkBpxExAEAAABG4Bq5FiLiACA42IIAAIDAMSPXTAQc\nAAAAAKMwI9cMRBwAAAAAIxFyTUTEAQAAADAap1YGiIADAAAAYBbMyAWAiAMAAABgJoScH50ryog4\nAAgjVq4EACAwnFrZAAIOAAAAgFkRcjeI5ICTiDgAAADYk8fj0csvv6yjR4/K4XBo0aJF6tq1a53n\npaenq0OHDpo9e7ZcLpfmzZun0tJSOZ1OLViwQN26ddMXX3yhjIwMxcTEyOFwaNmyZbr55pu1aNEi\n5efnq23btpKkN954Q+3atQvJ5+HUyusQcUQcYGfdB/Q3eggAABhmx44dcrlcys3N1axZs7R06dI6\nz8nJydGxY8d8t/Py8hQfH6+8vDzNnz9fGRkZkqTFixcrPT1d2dnZGjp0qNasWSNJOnLkiNauXavs\n7GxlZ2eHLOIkZuQkEXAEHAAAAOxu//79GjRokCSpb9++Onz4cK3H8/PzVVBQoPHjx6ukpESSVFRU\npMGDB0uSEhISVFxcLEl65ZVXdOutt0qS3G63WrVqJY/Ho5MnT2rBggU6e/asxo4dq7Fjx4bs80T8\njBwRR8QBAADA/ioqKuR0On23Y2JiVFNTI0k6c+aMVq1apQULFtQ6pnfv3tq1a5e8Xq8OHjyosrIy\nud1uX8Tl5+dr48aNmjx5sqqqqjRp0iT96le/0tq1a/Xuu++qsLAwZJ8nYmfkCDgCDoA59Rg4UEV7\n9hg9DABAiOQfKVa0o23QX9fjqvT7uNPpVGXld8/xeDyKjb2aQ9u2bdO5c+c0depUlZeX6/Lly0pI\nSNCYMWNUXFysiRMnKjk5WYmJiYqJiZEkffTRR8rKytJ//ud/qlOnTnK73UpNTVWbNm0kSf3791dh\nYaF69eoV9M8qReiMHBFHxAEAACCyJCcn69NPP5UkHTx4UD179vQ9lpqaqk2bNik7O1tTp07VT3/6\nU40ePVqHDh3SgAED9N///d8aNmyY7rjjDknSr3/9a23cuFHZ2dm++06cOKEnnnhCbrdb1dXVys/P\nV2JiYsg+T0TNyEV6wElEHAAAACLT0KFDtXv3bk2YMEFer1eZmZnasmWLqqqqNH78+HqP6dq1q15/\n/XW9+eabateunRYvXiy3263Fixfrtttu0/Tp0yVJDzzwgH7+859r5MiRGjdunOLi4jRy5Ejdfffd\nIfs8ERNykR5xBBwAAAAiWXR0tBYuXFjrvu7du9d53ujRo32/7tSpk9566606z/nf//3fet9jypQp\nmjJlSssGGiDbh1ykB5xExAEAAAB2Y+tr5Ig4Ig6ANfUYONDoIQAAYGq2nJEj4Ag4AAAAwM5sNyNH\nxBFxAAAAgN3ZZkaOgLuKiAMAAADszxYzckTc1YAj4gA0pvuA/kYPIWBcJwcAQMMsH3JEHLNwAAAA\nQKSx7KmVBNxVRBwAAAAQeSwZckQcAQcAAABEMkuFHAF3FREHAAAARDbLXCNHxF1FxAGIJCx4AgBA\n/SwxI3dz5VnJ2dnoYRiKgAMAAABwjWVm5CIZEQcAAADgeoScyRFxAAAAAG5EyJkUG3wDwFVcJwcA\nQF2EnAkRcABCqfuA/kYPAQAAtBAhZzJEHAAAAIDGWGLVykhAwAEAAAAIFDNyJkDEAYB/XCcHAEBt\nhJzBiDgAAAAATcWplQYh4AAAAAA0FzNyBiDiAAAAALQEIRdmRBwANA/XyQEA8B1OrQwTAg4AAABA\nsDAjFwZEHACzYVNwAACsjZALMSIOAIKH0ysBALiKUytDhIADAAAAECrMyIUAEQcAAAAglAi5ICPi\nAAAAAIQaIRckxXv3EnEAEAZcJwcAACEXFAQcAAAAgHAi5FqIiAMAAAAQboRcM3EqJQCrs/Jecpxe\nCQCIdIRcMxBwAAAAAIzEPnJNQMABAAAAMANm5AJExAGAuXB6JQAgkhFyASDiAAAAAJgJp1b6QcAB\nAAAAMCNm5BpAxAEAAAAwK0KuHkQcAFgD18kBACIVp1Zeh4ADEGm6D+iv4r2fGT0MAADQRITct4g4\nAADC58bZ1KI9ewwaCQBYEyEnIg4AgHCq75TY6+8j6gCgcREdcgQcAFhfj4ED+cbfQgK5rpGoA4DG\nRWzIEXEAAJgfp2ACQP0ictVKIg4AAGvqMXAgq5UCgCIs5Ir37iXiAMCG+MbeGoL5+0TQAYh0ERNy\nBBwA1K/7gP5GDwFoNoIOQKSKiJAj4gAAsDeCDkCksfViJwQcAACR5VrMsSgKALuz7YwcEQcAkYXZ\nGHML9+8PM3QA7M6WIUfEAQAAiaADYF+2CjlWpQSAyMY37GgIfzYA2E1Yr5GrqqrSrFmzdOHCBcXF\nxWnZsmXq3LlzUF6bgAMAAP5w/RwQ2Twej15++WUdPXpUDodDixYtUteuXes8Lz09XR06dNDs2bPl\ncrk0b948lZaWyul0asGCBerWrZtOnjypF198UVFRUbr77rv10ksvKTo6Wnl5ecrJyVFsbKymTZum\nH//4xyH7PGGdkcvLy1NiYqLeeecdjRgxQmvWrAnK6xJxANAybEGASMLplkBk2rFjh1wul3JzczVr\n1iwtXbq0znNycnJ07Ngx3+28vDzFx8crLy9P8+fPV0ZGhiRpyZIlmjFjht599115vV7t3LlT5eXl\nys7OVk5OjtatW6dXXnlFLpcrZJ8nrDNykydPltvtliSdOnVK7du3b9HrEXAAgBv1GDiQGRcEhD8r\nQGTZv3+/Bg0aJEnq27evDh8+XOvx/Px8FRQUaPz48SopKZEkFRUVafDgwZKkhIQEFRcXS5KOHDmi\nfv36SZIGDx6s3bt3Kzo6Wvfee68cDoccDofuvPNOFRYWKikpKSSfJ2Qh995772nDhg217svMzFRS\nUpJSU1N17NgxrV+/3u9rXIu+srNn6zx2Mj8/eIMFAOjcpUtGDyFoLnq9Rg8BNzDrn6+b7r1XknSC\n7ytgMZXf/nfu2vfLVuKtviRPiF7Xn4qKCjmdTt/tmJgY1dTUKDY2VmfOnNGqVau0cuVKbd261fec\n3r17a9euXRoyZIgKCgpUVlYmt9str9erqKgoSVLbtm118eJFVVRUqF27dr5j27Ztq4qKiiB/yu+E\nLORSUlKUkpJS72Nvv/22iouL9eyzz2rHjh0NvkZ5ebkkaeq8eSEZIwAACJN9nxk9AsCWysvL673O\ny4ycTqc6dOig8yWfhuw9OnToUCvWbnz/yspK322Px6PY2Ks5tG3bNp07d05Tp05VeXm5Ll++rISE\nBI0ZM0bFxcWaOHGikpOTlZiYqJiYGEVHf3eFWmVlpdq3b1/n9SsrK2uFXbCF9dTK1atXq3Pnzho1\napTatm2rmJgYv8/v06eP3nnnHd1yyy2NPhcAAACIFG63W+Xl5erTp4/RQwlYx44d9dvf/jaks1RO\np1MdO3as97Hk5GTt2rVLw4cP18GDB9WzZ0/fY6mpqUpNTZUkbdq0SSUlJRo9erQOHDigAQMGKC0t\nTYcOHdKpU6ckST/4wQ+0b98+Pfjgg/r000/Vv39/JSUl6bXXXtOVK1fkcrlUXFxc6z2CLcrrDd/5\nJ2fPntXcuXPlcrnkdrs1a9Ys3XfffeF6ewAAAAAR6tqqlceOHZPX61VmZqY+//xzVVVVafz48b7n\nXQu52bNn6+uvv9bzzz+vS5cuqV27dlq8eLE6d+6sL7/8Uunp6aqurlZCQoIWLVqkmJgY5eXlKTc3\nV16vV88++6weeeSRkH2esIYcAAAAAKDlbLUhOAAAAABEAkIOAAAAACyGkAMAAAAAizF1yFVVVWna\ntGl68sknNXnyZJWVlRk9JATRxYsX9dxzz2nSpEkaP368Dhw4YPSQEGQff/yxZs2aZfQw0EIej0cL\nFizQ+PHj9dRTT+nkyZNGDwlBVlBQoKeeesroYSCIqqurNWfOHE2cOFFjx47Vzp07jR4Sgsjtdmve\nvHmaMGGCnnjiCR07dszoIcEApg65vLw8JSYm6p133tGIESO0Zs0ao4eEIFq/fr369++vjRs3asmS\nJVq4cKHRQ0IQLVq0SMuXL5fHE4otPxFOO3bskMvlUm5urmbNmqWlS5caPSQE0Zo1azR//nxduXLF\n6KEgiD788EN17NhR7777rtauXauMjAyjh4Qg2rVrlyQpJydHM2bM0KuvvmrwiGCEsO4j11STJ0/2\n7VZ/6tQptW/f3uARIZgmT54sh8Mh6epPllq1amXwiBBMycnJGjJkiHJzc40eClpo//79GjRokCSp\nb9++Onz4sMEjQjDdeeedWrFihV544QWjh4IgGjZsmG/Zc6/Xy368NjNkyBD9/d//vSS+R45kpgm5\n9957Txs2bKh1X2ZmppKSkpSamqpjx45p/fr1Bo0OLeXv97e8vFxz5sxRWlqaQaNDSzT0ezt8+HDt\n27fPoFEhmCoqKuR0On23Y2JiVFNTo9hY0/wTghZ45JFH9H//939GDwNB1rZtW0lX//7+/Oc/14wZ\nMwweEYItNjZWc+fO1ccff6z/+I//MHo4MIBp/hVOSUlRSkpKvY+9/fbbKi4u1rPPPqsdO3aEeWQI\nhoZ+f48eParnn39eL7zwgvr162fAyNBS/v7uwh6cTqcqKyt9tz0eDxEHWMDp06f1s5/9TBMnTtRj\njz1m9HAQAsuWLdPs2bM1btw4/eY3v1F8fLzRQ0IYmfoaudWrV2vz5s2Srv5kidMC7KWoqEi/+MUv\ntHz5cv3oRz8yejgAGpCcnKxPP/1UknTw4EH17NnT4BEBaMzZs2f1zDPPaM6cORo7dqzRw0GQbd68\nWatXr5YktWnTRlFRUYqONvW39QgBU/9IdcyYMZo7d67ef/99ud1uZWZmGj0kBNHy5cvlcrm0ePFi\nSVd/6p+VlWXwqADcaOjQodq9e7cmTJggr9fLf4sBC3jzzTd14cIFvfHGG3rjjTckXV3YpnXr1gaP\nDMHwD//wD5o3b56efPJJ1dTUKC0tjd/bCBTl9Xq9Rg8CAAAAABA45mABAAAAwGIIOQAAAACwGEIO\nAAAAACyGkAMAAAAAiyHkAAAAAMBiCDkAQIP27dunH/7wh/rqq698961bt07Tp083cFQAAICQAwA0\n6MEHH9Rjjz2m+fPnS7q6IXhubq5v/0cAAGAM9pEDAPjlcrmUkpKiMWPGaOPGjVq2bJnuvfdeo4cF\nAEBEI+QAAI06fvy4Ro4cqalTp2rGjBlGDwcAgIjHqZUAgEbl5+fre9/7nvbu3auamhqjhwMAQMQj\n5AAAfhUVFWnFihXKycmRw+FQVlaW0UMCACDiEXIAgAZduXJFM2fO1Jw5c3THHXdo6dKl2rhxow4e\nPGj00AAAiGiEHACgQZmZmerZs6dGjhwpSbr99ts1b948zZkzR5WVlQaPDgCAyMViJwAAAABgMczI\nAQAAAIDFEHIAAAAAYDGEHAAAAABYDCEHAAAAABZDyAEAAACAxRByAAAAAGAxhBwAAAAAWAwhBwAA\nAAAW8/+mdO12eacg3wAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x120746350>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "cmap = sns.diverging_palette(250, 12, s=85, l=25, as_cmap=True)\n",
    "fig, ax = plt.subplots(figsize=(16, 9))\n",
    "contour = ax.contourf(grid[0], grid[1], ppc.mean(axis=0).reshape(100, 100), cmap=cmap)\n",
    "ax.scatter(X_test[pred==0, 0], X_test[pred==0, 1])\n",
    "ax.scatter(X_test[pred==1, 0], X_test[pred==1, 1], color='r')\n",
    "cbar = plt.colorbar(contour, ax=ax)\n",
    "_ = ax.set(xlim=(-3, 3), ylim=(-3, 3), xlabel='X', ylabel='Y');\n",
    "cbar.ax.set_ylabel('Posterior predictive mean probability of class label = 0');"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 87,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAA2wAAAIZCAYAAADa9LyXAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzs3Xl8VNX9//H3LNkgGxLALyGARBDciKBFWqESQav9qkCU\nRau1UvVnVZRqZRFB2YLiAriAW6UqCoosUlutLIpitUHLpshXEkUMqEBJYEJIJjPz+4POkMAkc5PM\ncmfm9Xw8fDyYuTl3TiZzzH3n3HM+Fo/H4xEAAAAAwHSske4AAAAAAMA/AhsAAAAAmBSBDQAAAABM\nisAGAAAAACZFYAMAAAAAkyKwAQAAAIBJ2cP9gi6XSxMnTtQ333wji8WiBx98UN26dQt3NwAAAADE\nEbfbrQceeEDbt29XYmKipk2bpk6dOvmOr1mzRk899ZTsdrsKCgo0bNgwVVdXa/z48dq1a5dSU1M1\nadIkde7cWfv379fEiRN18OBBuVwuPfzww+rYsWNI+h32wLZ27VpJ0qJFi/Tpp5/q8ccf17x588Ld\nDQAAAABxZNWqVaqurtbixYu1ceNGzZw505dDnE6nCgsLtWTJEqWkpGjkyJHKz8/XO++8oxYtWuj1\n119XSUmJpk6dqhdeeEGzZs3S5Zdfrssuu0yffPKJSkpKYiewDRw4UBdeeKEkaffu3UpPTw93FwAA\nAADEmc8++0z9+vWTJOXl5Wnr1q2+Y8XFxerYsaMyMjIkSb1791ZRUZF27Nih/v37S5K6dOmi4uJi\nSdLnn3+u0047TTfccIOys7N13333hazfYQ9skmS32zV27Fi99957mjt3br1fd+TIEW3dulVt2rSR\nzWYLYw8BAAAA83K5XNq7d6/OPPNMJScnR7o7hpWVlcnhcITs/KmpqcrMzPR7zOFwKDU11ffYZrOp\npqZGdrtdDodDaWlpvmMtW7aUw+FQjx49tHbtWg0cOFCbNm3Sjz/+KJfLpdLSUqWnp2vBggV68skn\n9dxzz+nOO+8MyfcUkcAmSQ899JDuueceDRs2TG+//bZatGhxwtds3bpV1157bQR6BwAAAJjfwoUL\nde6550a6G4aUlZXp/D595ZE7ZK+RkZGhf/zjH35DW2pqqioqKnyP3W637Ha732MVFRVKS0vTwIED\nVVxcrGuuuUa9evXSGWecIZvNpszMTOXn50uS8vPz9fjjj4fsewp7YFu+fLl+/PFH3XLLLUpJSZHF\nYpHV6n+zyjZt2kiSzmn1MyXboucvBwAQyI79pZHuQsw7tXV2pLsAACFzxHVE/z7wL9/1cjRwOBzy\nyK3Wlk6yhiCGuFWj/eU75XA4/Aa2Xr16ae3atbrsssu0cePGOhsf5ubmaufOnSorK1OLFi20YcMG\njRo1Slu2bFHfvn01YcIEbdmyRbt375Z09JbJDz74QIMHD1ZRUZFOPfXUoH8/XmEPbBdffLHGjx+v\na6+9VjU1NZowYUK907je2yCTbclKsZ04AwcA0cpuSYx0F2IevzcAxINoXDZklT0kvwdrPA0fHzRo\nkNavX68RI0bI4/FoxowZWrlypQ4fPqzhw4dr3LhxGjVqlDwejwoKCtSuXTslJCRozpw5mj9/vtLS\n0jR9+nRJ0tixYzVx4kQtWrRIqampevTRR4P+/XhZPB5PgG8tcr7//ntddNFF6pvVn1+8AGLKtr07\nI92FmNejTafAXwQAUarSdVj/3LdOq1evVocOHSLdHUO81/ZtLLkhCmzV2uspjqr3xAgKZwMAYg5h\nDQAQKwhsAAAAAGBSBDYAAAAAMCkCGwAgpnA7JAAglhDYAAAAAMCkCGwAgJjB7BoAINYQ2AAAAADA\npAhsABABzAQBAAAjCGwAgJhACAYAxCICGwAAAACYFIENABD1mF0DAMQqAhsAAAAAmBSBDQAAAABM\nisAGAIhq3A4JAIhlBDYAAAAAMCkCGwAAAACYFIENABC1uB0SABDrCGwAAAAAYFIENgBAVGJ2DQAQ\nDwhsAAAAAGBSBDYAAAAAMCkCGwAg6nA7JAAgXhDYAAAAAMCkCGwAECHMEgEAgEAIbACAqELQBQDE\nEwIbAAAAAJgUgQ0AAAAATIrABgCIGtwOCQCINwQ2AAAAADApAhsAICowuwYAiEcENgAAAAAwKQIb\nAMD0mF0DAMQrAhsAAAAAmBSBDQBgasyuAQDiGYENAAAAAEyKwAYAEcTsUcN4fwAA8Y7ABgAAAAAm\nRWADAJgSs2sAABDYAAAAAMC0CGwAAAAAYFIENgCA6XA7JAAARxHYAAAAAMCkCGwAAFNhdg0AgGMI\nbAAQYQSUY3gvAACoi8AGADAFwhoAACcisAEAIo6wBgCAfwQ2AEBEEdYAAKgfgQ0AEDGENQAAGkZg\nAwATiMfgEo/fMwAAjUVgAwCEHWENAABj7JHuAAAgfhDUAABoHGbYAABhQVgDAKDxmGEDAIQUQQ0A\ngKZjhg0ATCIWg00sfk8AgOjkdrs1adIkDR8+XNddd5127txZ5/iaNWtUUFCg4cOH6/XXX5ckOZ1O\n3X333RoxYoSuueYaFRcXS5K2bdumYcOGaeTIkRo/frzcbnfI+k1gAwCEBGENAGAmq1atUnV1tRYv\nXqy7775bM2fO9B1zOp0qLCzUn//8Z7388stavHix9u3bpw8++EA1NTVatGiRbrvtNs2ePVuS9OST\nT+q2227Ta6+9purqar3//vsh6ze3RAIAgo6wBgAwm88++0z9+vWTJOXl5Wnr1q2+Y8XFxerYsaMy\nMjIkSb1791ZRUZG6desml8slt9sth8Mhu/1ofOrRo4fKysrk8XhUUVHhez4UCGwAAAAAYp7D4VBq\naqrvsc1mU01Njex2uxwOh9LS0nzHWrZsKYfDoRYtWqi0tFSXXnqpDhw4oPnz50uSOnfurClTpmje\nvHlKS0tTnz59QtZvAhsAIKiYXQMANOTU1tlKsbUI+nkrXYe1d19xvcdTU1NVUVHhe+x2u30zY8cf\nq6ioUFpamhYsWKALLrhAd999t/bs2aPf/va3WrlypaZPn66FCxeqa9euWrhwoWbOnKnJkycH/XuS\nWMMGAAAAIA706tVL69atkyRt3LhR3bp18x3Lzc3Vzp07VVZWpurqam3YsEHnnHOO0tPTfTNvGRkZ\nqqmpkcvlUkZGhm+2rm3btjp48GDI+s0MGwAgaJhdAwCY1aBBg7R+/XqNGDFCHo9HM2bM0MqVK3X4\n8GENHz5c48aN06hRo+TxeFRQUKB27drphhtu0IQJE3TNNdfI6XRqzJgxatGihaZNm6YxY8bIbrcr\nISFBU6dODVm/CWwAYCI92nTStr07A38hAABoFKvVqilTptR5Ljc31/fv/Px85efn1znesmVLzZkz\n54RznXvuuVq0aFFoOnocbokEAAQFs2sAAAQfgQ0AAAAATIrABgAAAAAmRWADADQbt0MCABAaBDYA\nAAAAMCkCGwCgWZhdAwAgdAhsAAAAAGBSBDYAMBlmrAAAgBeBDQDQZIRLAABCi8AGAAAAACZFYAMA\nAAAAkyKwAQCahNshAQAIPQIbAAAAAJiUPZwv5nQ6NWHCBJWWlqq6ulq33nqrLrroonB2AQAAAACi\nRlgD21tvvaXMzEzNmjVLZWVlGjx4MIENAPzo0aaTtu3dGeluAACACAtrYPvVr36lSy65RJLk8Xhk\ns9nC+fIAgCBh/RoAAOER1sDWsmVLSZLD4dDo0aN11113hfPlAQAAACCqhH3TkT179uj666/XlVde\nqcsvvzzcLw8AAAAAUSOsM2z79u3TjTfeqEmTJqlv377hfGkAAAAAiDphnWGbP3++Dh48qKefflrX\nXXedrrvuOh05ciScXQCAqME6MQAAENYZtokTJ2rixInhfEkAQJARJAEACB8KZwMAAACASRHYAAAA\nAMCkCGwAAAAAYFIENgAwMbOtFzNbfwAAiHUENgAAAAAwKQIbAAAAAJgUgQ0AAAAATIrABgAmx7ox\nAADiF4ENAGAIwREAgPAjsAEAAACASRHYAAAAAMCkCGwAEAW4HREAgPhEYAMAAAAAkyKwAQAAAIBJ\nEdgAIEpE8rZIbskEACAyCGwAAAAAYFIENgAAAAAwKQIbAEQRbk0EACC+ENgAAIhz2/bujHQXAAD1\nILABABrErF7s2rZ3py+sEdoAwJwIbAAQZQhQaK7aQe345wEA5mKPdAcAAEB4EMgAIPowwwYAQBwg\nrAFAdCKwAUAUCtdtkdx+GRsIawAQvQhsAADEMMIaAEQ3AhsARClmvxBIY8ManykAMB8CGwDALy7e\noxthDQBiA4ENAKIYF9nwh9sgASB2ENgAAIghTQlrBH8AMC8CGwDgBFzARyfCGgDEHgIbgJiX4HIq\nq7JMCS6nKb4m2LjghkRYA4BYZY90BwAgVKwet4aWfKSe+4vVquqQDiSlaVPrXC3tcoHcFmvYvyaU\nerTpxLqlOEZYA4DYRWADEPUSXE5lVFeoPLGlnLYE3/NDSz7SRbs3+h5nVR3yPV6S2z/sX9NQX82E\nC/noQlgDgNhGYAMQtRqa1bK5Xeq5v9hvu577S7Sic9///js8X+Oy2kI+A8csG4wgrAGIV263Ww88\n8IC2b9+uxMRETZs2TZ06Hft/4po1a/TUU0/JbreroKBAw4YNk9Pp1Lhx41RaWiqr1aqpU6cqNzdX\nO3fu1Lhx42SxWNS1a1dNnjxZVmv9v88PHTqk7777TlarVR06dFBaWprhfhPYAJhaQzNSDc1qvd/+\nbLWqOuT3nK2qDimjusL373B8zYW7NxuagQv0PQfS3NDGxXx0odYaABi3atUqVVdXa/Hixdq4caNm\nzpypefPmSZKcTqcKCwu1ZMkSpaSkaOTIkcrPz9fGjRtVU1OjRYsWaf369Zo9e7aeeOIJFRYW6q67\n7lKfPn00adIkrV69WoMGDTrhNT/44AM9//zz2rFjh04++WTZ7Xbt2bNHubm5uvHGG/XLX/4yYL8J\nbABMKdCasASXs8FZrb/lnKsDSWnK8hOkDiSlqTyxpe/fof6aw7bEgDNwTltC0NbBMdMWHwhrANA4\nn332mfr16ydJysvL09atW33HiouL1bFjR2VkZEiSevfuraKiInXr1k0ul0tut1sOh0N2+9H49MUX\nX+hnP/uZJKl///5av379CYFt3LhxysrK0qRJk9S1a9c6x77++mstWbJEK1eu1COPPNJgvwlsACKq\nqevPMqorGpzVauGq1qbWuXXO4bWpdRffa4Xja1q4qgPOwO1LyQzqOrimhDYu6GMXP1sAZnLKSScp\nLTE16Oc9VO3QP/fVf9zhcCg19djr2mw21dTUyG63y+Fw1LlNsWXLlnI4HGrRooVKS0t16aWX6sCB\nA5o/f74kyePxyGKx+L720KETf8+PGTNG7dq189uXrl27avz48frhhx8Cfl8ENgAR0dz1Z+WJLQPO\nfC3tcoGvzbHX6OJ7XlJYvsbmdgXsa6AZw6asg2OmLXY15udKWAOAo1JTU1VRUeF77Ha7fTNmxx+r\nqKhQWlqaFixYoAsuuEB333239uzZo9/+9rdauXJlnfVqFRUVSk9PP+H1aoe1r7/+WuXl5fJ4PL7n\nzjvvPJ188skB+01gAxARzV1/ti8l09DM15Lc/lrRuW+9M1JuizXkX+O2WQP2NauyLKjr4LyMhjYu\n6qOH0bDGzxQA6urVq5fWrl2ryy67TBs3blS3bt18x7wbiZSVlalFixbasGGDRo0apeLiYiUkHP19\nnpGRoZqaGrlcLp1++un69NNP1adPH61bt07nn39+va/74IMPau3atcrJyfE9Z7FY9NJLLxnqN4EN\nQNgFa/2ZkZkvSXLaErQvJbPBPoX6awL1NdCModF1cP4cf+HOrFvsI6wBwIkGDRqk9evXa8SIEfJ4\nPJoxY4ZWrlypw4cPa/jw4Ro3bpxGjRolj8ejgoICtWvXTjfccIMmTJiga665Rk6nU2PGjFGLFi00\nduxY3X///XrsscfUpUsXXXLJJfW+7vr16/XOO+8oOTm5Sf0msAEImfrWWgVr/ZmRmS+zCNRXpy0h\nKOvgvBpa58bFfPRithQAms5qtWrKlCl1nsvNzfX9Oz8/X/n5+XWOt2zZUnPmzDnhXKeccopeeeUV\nQ6+bk5NT51bIxiKwAQi6QLsdBmv9mZeRmS+zaKivzV0HJwV+7xG7CGoAYE4ZGRn69a9/rXPOOUeJ\niYm+5wsLCw21J7ABCLpAux0Gmk0yuv4s1jR3HZwU+L1HbCGkAYD59evXz1dOoCn4cyuAoAq0Pi3B\n5ZR0dDZpdfs87UtKl0sW7UtK1+r2efWuP4v1sFZbfd9zoPfM6HuP2EBYA4DoMGTIEJ1xxhmqqKhQ\neXm5unfvriFDhhhuzwwbgCbzt04q0Po071qraFp/ZhaB3jOj771krJYbzIeQBgDRZ/ny5XryySc1\ncOBAud1u3X777br11lt11VVXGWpPYAPQaA2tkzKyPq22aFp/Zhb1vWdG3nvWuAEAEF4vvvii3njj\nDbVq1UqS9P/+3//T9ddfbziw8dsZQKN510llVR2STcfWSQ0t+ci3Ps2f2mutEHxG3vuGfnYAACD4\n3G63L6xJ0kknnSSLxWK4PYENQKMYWSdldH0agq+h9541bgAAhN9pp52m6dOna/v27dq+fbumT5+u\n7t27G27PLZEA6tWcNWqsT4uMhta5nVR9kDVuAACE2bRp0zR37lxNmDBBHo9Hffr00eTJkw23J7AB\nOEGw1qixPi1y/L33rHEDACD8kpOTde+99za5PYENwAkC1fIyUg8M5mOk/t1Vxeuo4wYAQBAMGTJE\ny5YtU/fu3eusWfN4PLJYLNq2bZuh8xDYANQRaJ3Tis59fWvReu4vqTUL04U1alGgoZ+dkZ89gRwA\nAGOWLVsmSfrqq69OOFZdXW34PAQ2AHWwRi22BWuNGwAAMGb48OFavHix77Hb7VZBQYFWrlxpqD2B\nDUAdrFGLD01d4wYAAIy5/vrr9a9//UuS6uwKabfblZ+fb/g8BDYgzh2/G6CRdU6ITUZ/9uwgCQBA\nYC+99JKko7tETpw4scnnIbABcaqh3QBZoxa/GvrZs4MkAACN96c//UnvvfeeKioqJEkul0vff/+9\n7rzzTkPtCWxAnAq0EyRr1OJTQ2vc2EESAIDGu+OOO1RZWanvvvtO5557roqKipSXl2e4PX8SBeJQ\noN0AE1xOScfWORHW4s/xP3ujnxkAAFDXN998o5deekmDBg3S73//e73xxhv66aefDLcnsAFxyMhO\nkEBtfGYAAGia1q1by2Kx6JRTTtH27dvVrl27Rm3rT2ADYlyCy6msyrI6MyDe3QD9YTdA+NOYz4y/\nzxwAAPGqa9eumjp1qvr06aMFCxbo2WefldNp/Hcka9iAGNXQBhHsBInGMvKZYVMSAABO9MADD+jf\n//63Tj31VI0ePVoff/yxHn30UcPtCWxAjAq0qQg7QaKxAn1mAn3mAACIJ1988YXOOOMMff7555Kk\noqIipaWl6ZJLLlF5ebnh8xDYgBgUaIOIFZ37ymlLYCdINEpDO0ga/cwBABAvFi1apKlTp2ru3Lkn\nHLNYLL46bYEQ2IAYZGSDiH0pmZKO7QYIGOXvM9OYzxwAAPFg6tSpkqQJEyaoR48eTT4PiwqAGMSm\nIgg3PnMAAPg3ceJEXX755Xr22We1Z8+eRrcnsAExyLtBhD9sKoJQ4DMHAIB/b775pp544gk5nU7d\nfPPNuu666/TGG28Ybk9gA2KAv23Ul3a5QKvb52lfUrpcsmhfUrpWt89jUxGEjJHPHFv+AwDiUefO\nnfW73/1ON998syoqKvTcc88ZbssaNiCKBdpGnU1FEE4NfebY8h8AEK/+8Y9/6K9//as2b96sCy+8\nUBMnTlSvXr0MtyewAVHMyDbqbCqCcPP3mWPLfwBAvFq5cqWuvPJKPfroo0pIaPwfz/mzJhClAm2j\nzi1nMAs+qwCAePbEE0+oVatWWrJkiaqrq1VUVNSo9gQ2IEoZ2UYdMAM+qwCAePaXv/xFs2fP1oIF\nC1RRUaFJkybphRdeMNyewAZEKbZRR7TgswoAiGfLli3TCy+8oJSUFN9M25tvvmm4PYENiFJso45o\nwWcVABDPrFarEhMTfY+TkpJks9mMtw9FpwLZtGmTrrvuuki8NBDVjt8Sna37ES0CfVbZ7h8AEKt+\n9rOf6aGHHlJlZaVWrVqlW2+9Veeff77h9mHfJfK5557TW2+9pZSUlHC/NBC1GtoSna37EQ3q2/Lf\n6nHrquJ1bPcPAIhZ9957r15//XWddtppWr58uX75y19qxIgRhtuHPbB17NhRTzzxhO69995wvzQQ\ntQJtic7W/YgWx39W2e4fABCrdu/e7ft3//791b//sd9rP/30k9q3b2/oPGEPbJdccom+//77cL8s\nELUCbYm+onNfZtUQlfhsAwBi2W9+8xtZLBZVVVVp//79ysnJkdVq1XfffaecnBy9++67hs5D4WzA\n5Ixsic7sGqIRn20AQCxbs2aNJGnMmDG69tprde6550qSNm/erOeff97weVggAJgcW6IjVvHZBgDE\ng+LiYl9Yk6Szzz5b33zzjeH2BDbA5NgSHbGKzzYAIB6cfPLJmjNnjr7++mtt375ds2bNUufOnQ23\nj8gtkR06dNDrr78eiZcGTC/B5Txhx0fv1uc995fU2kmvC9v3I+oZ+Wz7GxMAAESLWbNmae7cufrj\nH/8oSfrFL36hwsJCw+1ZwwaYRENb99e3JToQ7Rr6bAcaEwAARIOMjAzdf//9TW5PYANMwsj25mzf\nj1jl77PNlv8AALCGDTCFQNubJ7icYe4REFmMCQAAjiKwASZgZHtzIJ4wJgAAOIpbIgET8G5vnuXn\nApXtzRGPGBMAgGjXvXt3WSwW32O73S6r1arq6mqlpqaqqKjI0HkIbIAJeLc3r71ex4vtzRGPGBMA\ngGj31VdfSZImT56sXr166YorrpDFYtG7776rDz/80PB5uCUSMImlXS7Q6vZ52peULpcs2peUrtXt\n89i6H3GLMQEAiAWbN2/WlVde6Zttu+SSS7RlyxbD7ZlhAyLo+PpSbN0PHBOonAX12QAA0SAlJUVv\nvvmmLr30Urndbq1YsUKZmcZ3/SawARHQUH0ptu4H6jp+TFCfDQAQTWbNmqWpU6dq2rRpslqt+vnP\nf66HH37YcHsCGxAB1JcCmo7xAwCIJq+//rrmz5/f5Pb8KRIIM+pLAU3H+AEARJu1a9fK4/E0uT0z\nbECYGakvxS2RgH+MHwBAtMnMzNSvfvUrnXHGGUpKSvI9X1hYaKg9gQ0IM+pLAU3H+AEARJshQ4Y0\nqz2BDQgz6ksBTcf4AQA0ldvt1gMPPKDt27crMTFR06ZNU6dOnXzH16xZo6eeekp2u10FBQUaNmyY\nli5dqmXLlkmSqqqqtG3bNq1fv16lpaWaOnWqbDabEhMT9dBDDykrK8vv6w4ZMkRlZWWqrKyUx+OR\ny+XS999/b7jfBDYgArx1pHruL6m1y10X6ksBBjB+AABNsWrVKlVXV2vx4sXauHGjZs6cqXnz5kmS\nnE6nCgsLtWTJEqWkpGjkyJHKz8/X0KFDNXToUEnSgw8+qIKCAqWnp+sPf/iD7r//fvXo0UOLFi3S\nc889p/Hjx/t93ccee0wLFy5UTU2NWrVqpR9//FFnnnmm3njjDUP9JrABYXB8vahA9aUA1K+h8UNt\nNgBAfT777DP169dPkpSXl6etW7f6jhUXF6tjx47KyMiQJPXu3VtFRUW69NJLJUlbtmzRjh07NHny\nZElHQ1jbtm0lSS6Xq87atOP99a9/1QcffKDp06fr1ltv1e7du/Xiiy8a7jeBDQihQPWiqLkGNF3t\n8UNtNgBAIA6HQ6mpqb7HNptNNTU1stvtcjgcSktL8x1r2bKlHA6H7/Ezzzyj2267zffYG9Y+//xz\nvfLKK1q4cGG9r9u2bVulpqaqa9eu+uqrr3TxxRdr1qxZhvtNYANCiHpRQHgw1gAgenQ8OV0npaQH\n/bz/qbRK/1f/8dTUVFVUVPgeu91u2e12v8cqKip8Ae7gwYP65ptvdP7559c539/+9jfNmzdPzz77\nrE466aQGX3f58uU644wz9Morr6ht27Y6ePCg4e+LPzsCIUK9KCA8GGsAACN69eqldevWSZI2btyo\nbt26+Y7l5uZq586dKisrU3V1tTZs2KBzzjlHklRUVKS+ffvWOdeKFSv0yiuv6OWXX1ZOTk6Drzt9\n+nT95z//UZ8+fZSdna1JkybprrvuMtxvZtiAEKFeFBAejDUAgBGDBg3S+vXrNWLECHk8Hs2YMUMr\nV67U4cOHNXz4cI0bN06jRo2Sx+NRQUGB2rVrJ0n65ptv1KFDB995XC6Xpk+frv/5n//RHXfcIUk6\n77zzNHr0aL+v265dO914442SpHHjxjW63wQ2IESoFwWEB2MNAGCE1WrVlClT6jyXm5vr+3d+fr7y\n8/NPaPf73/++zmObzaZ//etfAV+ve/fuslgsvsd2u11Wq1XV1dVKTU1VUVGRoX4T2IAQoV4UEB6M\nNQCAGX311VeSpMmTJ6tXr1664oorZLFY9O677+rDDz80fB7WsAEhtLTLBVrdPk/7ktLlkkX7ktK1\nun0e9aKAIGOsAQDMavPmzbryyit9s22XXHKJtmzZYrg9M2xACFFvDQgPxhoAwKxSUlL05ptv6tJL\nL5Xb7daKFSuUmWl8bTUzbECQJbicyqosq7MznbdeFBeQQGj5G2v+xiQAAOEya9Ysvffee/rFL36h\n/v3765NPPtHDDz9suD0zbECQULgXMBfGJADADLKzszV//vwmtyewAUFC4V7AXBiTAAAz+PDDDzV7\n9myVl5fL4/H4nl+9erWh9gQ2IAgCFe5d0bkvt0MCYcSYBACYxbRp0zRu3Dh17dq1zjb/RhHYgCCg\ncC9gLoxJAIBZtGrVSgMGDGhyewIbEAQU7gXMhTEJADCL3r17q7CwUP369VNSUpLv+fPOO89QewIb\nEAQU7gXMhTEJADCLzZs3S5K+/PJL33MWi0UvvfSSofYENiBIvAV6e+4vqbUjXRcK9wIRwpgEAJjB\nyy+/3KwX2tEuAAAgAElEQVT2BDYgSCjcG3sSXE5+llGMMYlIc1utcickyeqsktXtjnR3AETIhg0b\n9MILL+jw4cPyeDxyu93avXu31qxZY6g9gQ1opuMv6r2FexG9qN8VW/yNScI4Qskji8pzclWZ2Uau\npCTZqqqUUrZXGbuKZZEn8AkAxJSJEyfqpptu0rJly3Tddddp3bp1Ov300w23J7ABTcRFfeyiflfs\nYtwiHMpzcuU4uaPvsSs5xfc4c9eOSHULQIQkJyeroKBApaWlSk9P17Rp0zR06FDD7fntBDSR96I+\nq+qQbDp2UT+05KNIdw3NEKh+V4LLGeYeIZgYtwg1t9Wqysw2fo9VZmbJbeXSC4g3SUlJKisr0ymn\nnKJNmzbJYrHo8OHDhtvzfw2gCbioj11G6nchOjFuEQ7uhCS5am3bXZsrMVnuBP/HAMSuG264QWPG\njNGAAQO0fPly/frXv9aZZ55puD23RAJNQFHe2EX9rtjFuEU4WJ1VslVVyZWccsIxW/URWZ1VEegV\ngEj6+c9/rl/96leyWCxaunSpvv32W6WlpRluzwwb0ATei3p/uKiPbt76Xf5Qvyu6MW4RDla3Wyll\ne/0eSynbx26RQBzZs2ePdu/erWuvvVY//PCDdu/erbKyMqWlpemmm24yfB5m2IAmoChvbKN+V2xi\n3CJcMnYdvfW2MjNLrsRk2aqPKKVsn+95APFh7ty5+vTTT/XTTz/p2muv9T1vt9t14YUXGj4PgQ1o\nIi7qYxf1u2IX4xbhYJFHmbt2KL20hDpsQBwrLCyUJD377LO6+eabm3weAhvQRFzUxz5q6sUexi3C\nyep2y1pVGeluAIiwSy65RG+99ZYuv/xyTZ48WV988YXGjx+vc88911B71rABzeS9qOeiL/YkuJzK\nqixj98AYxLhFqLmtVtUkpbCNPwBNmDBBCQkJWr16tb755huNHz9eDz/8sOH2zLABjZTgcvKX+RhH\nceX4w7hGsHhkUXlOrioz28iVlCRbVZVSyvYqY1exLPJEunsAIqCqqkqXXnqp7rvvPl1++eU699xz\nVVNTY7g9gQ0wiIv4+OEtruzlLa4sSUty+0eqWwgBxjWCrTwnV46TO/oeu5JTfI8zd+2IVLcARJDN\nZtO7776r999/X3feeadWrVolayNm3/ltBBjkvYjPqjokm45dxA8t+SjSXUMQUVw5vjCuEUxuq1WV\nmW38HqvMzOL2SCBOTZkyRe+//74mTZqktm3b6u2339a0adMMt2eGLQy27d0Z0vP3aNMppOdH4Iv4\nFZ37chtVjKC4cvxgXCPY3AlJciUl+T3mSkw+umMkm5AAcee0007z7RgpSY8//nij2hPYDAh14Gqu\nYPePAHgiLuLjh7e4cpafnzfFlWML4xrBZnVWyVZVJVdyygnHbNVHZHVWRaBXAKIdge2/zB7Kwqkp\n70Wshzwu4uMHxZXjB+MawWZ1u5VStrfOGjavlLJ91GID0CRxGdgIZ8HXmPc0GsMdF/HxheLKzde1\nTZYk6eu9+yLck/oxrhEKGbuO3mZbmZklV2KybNVHlFK2z/c8gPj0/fffa8eOHerXr592796tnJwc\nw23jMrAhsrzhLtqCGxfx8cOsxZW9IcifSAajhvp1/DGzBTjGNYLNIo8yd+1QemnJ0TVrzipm1oA4\n97e//U3z5s1TZWWlFi9erBEjRujee+/VlVdeaah9XAa22kGB2bbIibbgZtaLeISOt7iyGTQUio4/\nHo5QFKg/TWkXiTDHuEaoWN1uNhgBIEl67rnn9Nprr+k3v/mNWrdurWXLlul3v/sdgc0owlvkbdu7\n09Sh7fiCuma6iAf8CdWsVlNDWmPPH4ngVntcU0QbABBMVqtVqampvsdt27ZtVB22uA9stRHeIqf2\n+22W8EZBXUjmuHhvblBqzuxbqENaQ68Z7uDGmEcwua1WbokEIEnq2rWrXnnlFdXU1Gjbtm169dVX\n1b17d8PtCWz1ILxFjllulfQW1PXyFtSVpCW5/SPVLYRJrF681zf7FolgFkjXNllhDW2MeQSDRxaV\n5+SqMrONXElJslVVKaVsrzJ2FcsiT6S7ByACJk2apHnz5ikpKUkTJkzQ+eefr7FjxxpuT2Az4Pjg\nQICLfRTUhVku3sN1G6JZhSu0MeYRLOU5uXW29Xclp/geZ+7aEaluAYig119/Xb/97W919913N6k9\nga0JGjvzQ8A7KtIzZo1BQd34ZpaLd7OHqXAJR2hjzCMY3FarKjPb+D1WmZml9NISbo8E4tCPP/6o\nYcOG6ZRTTtEVV1yhiy++WCkpKYbbE9jCIJqCCo6ioG58M8PFO2EtvBjzCAZ3QpJcSUl+j7kSk4+u\naWPnSCDujB07VmPHjtWGDRv0t7/9TU8//bTOPvtszZo1y1D76F2IAYSQt6CuPxTUjX3ei3d/wnHx\nTlg7UajfE8Y8gsHqrJKtqsrvMVv1EVmd/o8BiH0ej0dOp1NOp1MWi0WJiYmG2zLDBtSDgrrxy3vx\nXnsNm1coL94Jag0L9a2RjHk0l9XtVkrZ3jpr2LxSyvZxOyQQp6ZOnapVq1apR48euuKKKzRx4kQl\n1TMb7w+BDagHBXXjW7gv3glrkceYRzBk7Dq6/rUyM0uuxGTZqo8opWyf73kA8adz585atmyZTjrp\npCa1J7ABAVAoOz5x8W5O4ajRxphHc1jkUeauHUovLaEOGxDnFi9erOHDh6u8vFyvvvrqCcdvv/12\nQ+dhDRvgR4LLqazKMiW4nJHuCiLMe/FOWDOXcM1Iuq1W1SSlyG3l1yUax+p2y15VSVgD4pjHE5za\ni8ywAbXEarFkNE+Cy8ksmx+52cdmoYpLy8L++qFc00bxYzSV22plZg2AJGnEiBGSpOzsbA0ZMqTO\nsYULFxo+D4ENqMUsxZJhDuEK8GZcv1Y7jDXn60Md5EJ1iyTFj9FYhHwAx1uwYIEcDocWLVqk0tJS\n3/Mul0srV67Utddea+g8TBkA/xWoWDK3R8Yfb4DPqjokm44F+KElH0W6a0GRm51Z73/BfI1wCGbo\nDVT8mNsj4Y835LuSUySL1Rfyy3P8l4sAEPs6dfJfizkxMVEzZ840fB5m2ID/MkOxZJhHoAC/onPf\nqLw9MlwByt9rRstsG8WP0ViBQn56aQm3RwJxaMCAARowYIAuvfRSVVVV6fTTT9ehQ4e0detWnXvu\nuYbPw58Jgf+KdLFkmIuRAB8M4bodMtgzZ03tQzg09z2l+DEay0jIBxC/li1bpkceeUSSVFlZqaef\nflpPPPGE4fYENuC/vMWS/QllsWSYUzgCfDjDWnNkd0qv979w98Wo5ry33uLH/lD8GP4Q8gE05P33\n39dzzz0nSWrbtq1efPFF/eMf/zDcnlsigVrCXSwZ5uUN8LU3ofGKpgDflIDUmCBW+2tLdx403Kdw\n7CrZnFskKX6MxvCG/Nob1XgR8gHU1NToyJEjatny6B97nc7G7YtAYANqoVgyagtlgA/H7FpjwlpT\nZssaOkeg8Bau0NZUFD9GYxHyAdRnxIgRGjp0qPLz8yVJ69atM7xDpERgA/zyFktGfAtlgP967z7T\nbOffUFhr3anhcbB/p//Qld0pPepDm3R05oQNRmAEIR9AfW644Qb16tVLGzZskN1u16xZs3T66acb\nbs8aNgAIwBvgo2m21ejsWnPCWqCvMTJrF+o1baEqrA3Ux+p2y15VSVgDoLVr10qSli9frpKSEp10\n0klKT0/X//3f/2n58uWGz8MMG/BfCS4nt0EirtQXqGqHsIxT/6fBc5Tv2OP7en+zbbEy0yYd3bqd\nmRMAgFFbtmzRgAED9Omnn/o9PnjwYEPnqTewHT58WC1atGha7+rhdrv1wAMPaPv27UpMTNS0adPq\nLSgHhIvV49bQko/Uc39xrXVKuVra5QK5LUxC45hgh/pQ3RZpZNbKX1hrTFA7/usaCm5GQpuZeWRR\neU6uKjPbyJWUJFtVlVLK9ipjV7Es8kS6ezAJAj1gfoGyyJo1a/TUU0/JbreroKBAw4YNkyQ988wz\nWrNmjZxOp0aOHKmrr77a12blypV65ZVXtHjx4hNeb/To0ZKkwsLCZvW73sB25ZVXqrCwsFFF3QJZ\ntWqVqqurtXjxYm3cuFEzZ87UvHnzgnZ+oCmGlnxUZyfArKpDvsdLcvtHqlswkVgL9Y0Ja6mndGnw\nXI5vSnxtynfs8Z2rsaHNzLNs5Tm5dXb/cyWn+B5n7toRqW7BJAj0QPRoKIs4nU4VFhZqyZIlSklJ\n0ciRI5Wfn6/i4mL9+9//1muvvabKykr9+c9/9p3vyy+/1JIlS+Tx+B/r+fn5slgsfo9ZLBatWrXK\nUL/rDWyTJ0/W+PHjNXDgQI0ZM0aJiYmGTtiQzz77TP369ZMk5eXlaevWrc0+J9AcCS6neu73v4NX\nz/0lWtG5L7dHglAfx9xWqyoz2/g9VpmZpfTSEmZT4hyBHogeDWWR4uJidezYURkZGZKk3r17q6io\nSF9++aW6deum2267TQ6HQ/fee68k6cCBA3rsscc0YcIE3X///X5f7+WXX5bH49FTTz2lnJwcDR06\nVDabTStXrtT3339vuN/1/mn4ggsu0FtvvSWPx6OrrrpKGzZs0O7du33/NYXD4VBqaqrvsc1mU01N\nTZPOBQRDRnWFWlUd8nusVdUhZVRXhLlHMJtAoT7B1bhaKogu7oQkuZKS/B5zJSbLneD/GOJDoEDv\ntkbfDDwQyxrKIg6HQ2lpab5jLVu2lMPh0IEDB7R161bNmTNHDz74oO655x65XC7dd999Gj9+vK+2\nmj/Z2dnq0KGDtm/frj/84Q86+eST1aZNG914443auPHEOq/1aXDTkZSUFN1555364YcfdOuttyo9\nPV0ej0cWi0WrV682/CJeqampqqg4dgHsdrtlt7PvCSKnPLGlDiSlKctPaDuQlKbyxPoHIeKDkVBP\nCYi6/G0+Eq1r2KzOKtmqquRKTjnhmK36iKzOqgj0CmZhJNBTFgI40cnZqWqT1vz6n8dLPNTwHQ8N\nZZHjj1VUVCgtLU2ZmZnq0qWLEhMT1aVLFyUlJemLL77Qzp079cADD6iqqko7duzQ9OnTdd9999X7\n2p988onOP/98SdIHH3wgm81m+Ptq8E8/77//vn79618rPT1da9eu1erVq7VmzZomhTVJ6tWrl9at\nWydJ2rhxo7p169ak8wDB4rQlaFPrXL/HNrXuwu2Q8IV6f2Ip1NdXT60h3vVrknzr15rKrOvXrG63\nUsr2+j2WUraP2yHjnDfQ+0OgB8ynoSySm5urnTt3qqysTNXV1dqwYYPOOecc9e7dWx9++KE8Ho9+\n/PFHVVZW6owzztDbb7+tl19+WY899phOPfXUBsPatGnTNH36dPXp00d9+vTRnDlzGrURSb3TW6NH\nj9aXX36p6dOnq2/fvoZP2JBBgwZp/fr1GjFihDwej2bMmBGU8wLNsbTLBZKO3t52bEOJLr7nEd+8\nob72GjYvs4b64tKyBneKLN150O/GI/t3lql1p0xf+Mo49X/qhDJ/age1+kJftM6ueWXsOnpLbGVm\nllyJybJVH1FK2T7f84hf3kBfew2bF4EeMB9/WWTlypU6fPiwhg8frnHjxmnUqFHyeDwqKChQu3bt\n1K5dOxUVFemqq66Sx+PRpEmTGjU7Jkmnn366Vq5cqQMHDshisSgzs3F35tQb2Nq0aaO33norqFv7\nW61WTZkyJWjnA4LBbbFqSW5/rejclzps8CtUoT4UW/p7NSe0STohuNXmbzYtVsOaJFnkUeauHUov\nLWHbdpyAQA9ED39ZJDf32J1W+fn5ys/PP6Gdd6MRfzp06KDXX3+9wdctLS3VxIkTVVpaqoULF+r6\n66/XjBkz1KFDB0P9rjew1bfbCRCrnLYE1iLBr1gN9fWFNunYbJvU8O2ODd1KaTSshfJ2yK5tsvT1\n3n1BOZfV7WY9Ek5AoAcQyKRJkzRq1Cg98sgjysrK0v/+7/9q7NixWrhwoaH2bF8E6OhOgFmVZez4\nhwZ5Q30wwlooZ9e8jAShhkLV/p1lAf9rynmjndtqVU1SCjsAog6r2y17VSVhDcAJDhw4oAsuOHpX\njsVi0bBhw+RwOAy3Z4tGxLVYK4iM8ElwOaNiti3QrZFS3XBV34ybUY0NambdbMQfCiTDH7fVyswa\ngAYlJyfrhx9+8BXR3rBhQ6NqXBPYENcoiIzGClbI996mF66ZtkChzcsbuIwGt+bMpEVTWJMokIy6\nCPAAjBo/frxuueUWfffdd7ryyitVXl6uOXPmGG5PYEPcClQQeUXnvqaeOUFkBDvkf713n+lCmxT6\nWxrDFdaCtX4tUIHk9NISZlfiDAEegFH79+/XkiVL9O2338rlcvnquhnFPV+IW0YKIgO1BQr5TV0D\n+fXefUELFg0pLi0zxaxWtIU1yViBZMSPQAGe9Y0Aaps1a5YSEhLUtWtXde/evVFhTWKGDXHMWxA5\ny09oi6WCyAgeIyG/OTuNmnW2LVivGc28BZJdySknHKNAcvwxEuDZURSAV05OjsaPH6+ePXsqOTnZ\n9/zgwYMNtSewIW5FY0FkRFY4Qn6shLZIB7Rgz1hSIBm1EeABNEarVq0kSZs2barzPIENMCBUBZER\nm8IV8sO1IYk3VDUmuEU6iEUSBZLhRYAH0BiFhYWqqanR9u3bZbPZdNppp/l2jDSCwIa4FqsFkRE6\n4Qz54ZxtQ2AUSEZtBHgARn388ce699571bZtW7ndbh08eFCzZ8/W2Wefbag9gQ3QsYLIQCDhDvnh\nCm0wzup2sz4JBHgAhs2YMUPPP/+8unfvLknasmWLJk+erKVLlxpqzzZGiGsJLqeyKsuavLsf4pc3\n5IdjRjZcu0jCOLfVqpqkFHYDhKxut+xVlYQ1APVKTEz0hTVJOuussxrVnhk2xKVgFT8GpKPBn9k2\n8whluKVYMqSjgZ1ZNQBGnX322brvvvs0bNgw2Ww2vf3228rOzlZRUZEk6bzzzmuwPYENcSnYxY8R\nnyIR/AltDQv1TCTFkuMbgR1AUxQXH13b+sgjj9R5fu7cubJYLHrppZcabE9gQ9wJVPx4Ree+bDwC\nQwj+5hGOW0YDFUtOLy1htiXGEdgBNMXLL7/crPYENsSdUBc/RnyIZPBnlq2ucK3vo1hyfIuXwL5t\n785IdyFoerTpFOkuAEFBYEPcCUfxY8Q+gr85hHMzFoolx7doCeyxFLiaq7nvBYEPZsHuCog73uLH\n/gSz+DFimzf4+xOO4M+ukeF/D7zFkv2hWHLs8wZ2fyId2Lft3en7D8FT+33lPUZzvPbaa81qzwwb\n4lI4ix8jNnmDf+01bF7hCv7ewGKG2yMDhadg9zFSgZViyfHLG9hrr2HzinRg79GmE0EijGq/18zC\nwYiFCxdq5MiRTW5PYENcCnfxY8QmswT/SKxpa2xgOv7rzRAym4JiyfHNzIHdGxwIbuFFeIMRJ598\nsq6//nr17NlTSbVurb799tsNtSewIa55ix8DTWGm4B+O0BbMWa3a54rG8GZ1u02xXgnhFQ2BneAW\nOYQ31CcvL69Z7QlsANBMZgn+9QWq5gSicNx62NjZN9bvIdKiIbAT3CKL8Ibabr/9dv3nP//Rpk2b\n5HK5lJeXp6ws47+bCWyIWwkuZ8RnRRB7zPi58hdw/IUiswShhoKnWfooHd3m3ayzLAiuaP5ZE9wi\nb9venYS2OPfhhx9qwoQJysvLk9vt1qRJkzR9+nQNGDDAUHsCG+KO1ePW0JKP1HN/ca11R7la2uUC\nuS1snIqmibbPlZmCj1Fm6bNHFpXn5Koys41cSUmyVVUppWyvMnYVyyJPpLuHIIqln3VDgYEwFxqE\nNHg9/vjjevXVV5WTkyNJ2rVrl26//XYCG1CfoSUf1dnZL6vqkO/xktz+keoWohyfq/hRnpNbZ6dA\nV3KK73Hmrh2R6hZCIF5+1o0NFgS8ughmCKSmpsYX1iQpJydH7kbM1hPYEFcSXE713O9/N6+e+0u0\nonNf09zGhujB5yp+uK1WVWa28XusMjNL6aUlUXfLHPzjZ12/5gaUaAl8BDEES/v27bVgwQJdddVV\nkqQlS5YoOzvbcHsCG+JKRnWFWlUd8nusVdUhZVRXmGLzCEQXPlfxw52QJFetLZlrcyUmH13nZPLN\nKGAMP+vQIQgh3kyfPl1Tp07V/Pnz5fF4dP7552vKlCmG2xPYEFfKE1vqQFKasvxcXB9ISlN5YssI\n9ArRjs9V/LA6q2SrqpIrOeWEY7bqI7I6qyLQK4QCP2sAwdK6dWvNnj27ye0JbIgrTluCNrXOrbPW\nyGtT6y7ctoYm4XMVP6xut1LK9tZZ1+SVUrYvbm+Ri0X8rAE01y233KJnnnlG+fn5slgsJxxfvXq1\nofMQ2BB3lna5QNLRtUXHdvPr4nseaAo+V/EjY9fR9YqVmVlyJSbLVn1EKWX7fM8jdvCzBtAcU6dO\nlSTNnj1brVu3bvJ5CGyIO26LVUty+2tF576mq5eF6MXnKn5Y5FHmrh1KLy2J2tpcMIafNYDmaNu2\nrSRp7Nix+vvf/97k8xDYELectgQ2gkDQHf+5iuaCu2iY1e1m04kYdfy45WcNoDm6d++u5cuX6+yz\nz1ZycrLv+fbt2xtqT2ADgBCIpYK7QLxg3AIIhU2bNmnTpk11nrNYLKxhAwJJcDm5dQ0hEy8Fd+MZ\ns6exh3ELIBTWrFnTrPYENsQdq8etoSUfqef+4lqbQ+RqaZcL5LZYI909xAAK7sY2ZmFiE+MWQKiU\nl5dr1qxZ+u677zRnzhw9/PDDGj9+vNLT0w215+oUcWdoyUe6aPdGZVUdkk1SVtUhXbR7o4aWfBTp\nriFGGCm4i+jlnYVxJadIFqtvFqY8JzfSXUMzMG4BhMr999+vs846S2VlZWrZsqXatm2re+65x3B7\nAhviSoLLqZ77/W/H3HN/iRJczjD3CLHIW3DXHwruRrdAszBuK79WoxXjFkCofP/99xo+fLisVqsS\nExM1ZswY/fDDD4bb85sFcSWjukKtqg75Pdaq6pAyqivC3CPEIm/BXX8ouBvdmIWJXYxbAKFis9l0\n6NAhX/Hsb7/9VtZG/IGPNWyIK+WJLXUgKU1ZfkLbgaQ0lSe2jECvEIsouBubvLMwruSUE44xCxP9\nGLcAQuGOO+7Qddddpz179ugPf/iDNm7cqBkzZhhuT2BDXHHaErSpda4u2r3xhGObWndht0gEDQV3\nY5N3Fqb2ToJezMJEP8YtgFDo37+/zjzzTG3evFkul0tTpkwxvOGIxC2RiENLu1yg1e3ztC8pXS5Z\ntC8pXavb52lplwsi3TXEIKvbLXtVZZ2LPrfVqpqkFNY7RamMXcVK/eE72Y4cltxu2Y4cVuoP3zEL\nE8WOH5P+xi0ANNXw4cN10kkn6cILL9RFF12kk046SQUFBYbbM8OGuOO2WLUkt79WdO5LHTaEFdvB\nxwZmYWIHYxJAKF1//fX617/+JUnq3r27LBaLPB6P7Ha78vPzDZ+HwIa45bQlaF9KZqS7gThCUd7Y\nYnW7Za2qjHQ30AyMSQCh9NJLL0mSpk2bpokTJzb5PNyPAwBhwHbwgLkwJgGEy2233aaPP/5YkvTM\nM89o9OjRKi42fhs9/zcCgDBgO3jAXBiTAMLlnnvuUUlJiT7++GO98847ys/P16RJkwy3J7ABQBhQ\nlBcwF8YkgHApLy/Xb37zG61evVpDhgzR4MGDVVlp/JZ6AhsAhAFFeQFzYUwCCBe3262tW7dq1apV\nGjBggLZt2yaXy2W4PZuOAECYUJQXMBfGJIBw+NOf/qSHH35YN954o3JycjRs2DCNHz/ecHsCGwCE\nCdvBA+bCmAQQDn379lW3bt20efNmrVq1Sk8//bSysrIMt+eWSAAIM4ppA5Hjb6xRKBtAKH344Yca\nPHiwli5dqmXLlumKK67Q2rVrDbdnhg0AIojCvUB4MNYARMrjjz+uV199VTk5OZKkXbt26fbbb9eA\nAQMMtSewAUAEUbgXCA/GGoBIqamp8YU1ScrJyZG7ETP63HsDABFC4V4gPBhrACKpffv2WrBggRwO\nhxwOhxYsWKDs7GzD7ZlhA4AIMVK411plvE4LAP8YawCko9vrP/DAA9q+fbsSExM1bdo0derUyXd8\nzZo1euqpp2S321VQUKBhw4ZJkoYMGaLU1FRJUocOHVRYWKj9+/dr4sSJOnjwoFwulx5++GF17NjR\n7+tOnz5dU6dO1fz58+XxeHT++edrypQphvtNYAOACPEW7nUlp5xwjMK9QPAw1gBI0qpVq1RdXa3F\nixdr48aNmjlzpubNmydJcjqdKiws1JIlS5SSkqKRI0cqPz9faWlp8ng8evnll+uca9asWbr88st1\n2WWX6ZNPPlFJSUm9ga1169Z65JFH9NVXX8lut+u0006TxWIx3G8CGwBEiLdwb+11NV4U7gWCh7EG\nQJI+++wz9evXT5KUl5enrVu3+o4VFxerY8eOysjIkCT17t1bRUVFat++vSorK3XjjTeqpqZGf/zj\nH5WXl6fPP/9cp512mm644QZlZ2frvvvuq/d1169fr7Fjx6pt27Zyu906ePCgZs+erbPPPttQvwls\nABBBFO4FwoOxBsDhcPhubZQkm82mmpoa2e12ORwOpaWl+Y61bNlSDodDycnJGjVqlK6++mp9++23\nuummm/TOO++otLRU6enpWrBggZ588kk999xzuvPOO/2+bmFhoZ5//nl1795dkrRlyxZNnjxZS5cu\nNdRvAhsARFBDhXvdVivFfIEmOn78UCQbMI/M7HS1bpUZ9PM6DzQ8plNTU1VRUeF77Ha7Zbfb/R6r\nqKhQWlqaTjnlFHXq1EkWi0WnnHKKMjMztXfvXmVmZio/P1+SlJ+fr8cff7ze101MTPSFNUk666yz\nGvV9sS0SAJhA7cK9HllUlnOqfjyjj344q49+PKOPynJOlUfG73cH4lWg8UORbCB+9erVS+vWrZMk\nbUX8u54AAB+OSURBVNy4Ud26dfMdy83N1c6dO1VWVqbq6mpt2LBB55xzjpYsWaKZM2dKkn788Uc5\nHA61adNGvXv31gcffCBJKioq0qmnnlrv65599tm67777tGnTJm3dulUPPfSQsrOzVVRUpKKiooD9\nZoYNAEyGelFA0zF+ANRn0KBBWr9+vUaMGCGPx6MZM2Zo5cqVOnz4sIYPH65x48Zp1KhR8ng8Kigo\nULt27XTVVVdp/PjxGjlypCwWi2bMmCG73a6xY8dq4sSJWrRokVJTU/Xoo4/W+7rFxUdvvX7kkUfq\nPD937lxZLBa99NJLDfabwAYAJhKoXlR6aQkzA0A9GD8AGmK1Wk/YTj83N9f37/z8fN9tjl6JiYl+\nw1h2drZefPFFQ697/A6TjcUtkQBgIkbqRQHwj/EDwExGjx6t9evX13v8gw8+0B133BHwPMywAYCJ\nUC8KaDrGDwAzKSws1JNPPqlp06ape/fuOvnkk2Wz2VRaWqqtW7dq4MCBKiwsDHgeAhsAmAj1ooCm\nY/wAMJOWLVtq7Nixuu222/TJJ59o586dslqtysvL0/Tp09WiRQtD5yGwAYDJUC8KaDrGDwCzSU1N\n1cCBA5vcnsAGACYTqF4U9dmAY6i3BiDWEdgAwKSsbresVZW+xx5ZVJ6Tq8rMNnIlJclWVaWUsr3K\n2FUsizwR7CkQfoHGw/HjBwCiFbtEAkCU8NaXciWnSBarr75UeU5u4MZAjGE8AIgWDz74oDZv3tzk\n9gQ2AIgCgepLua387xzxg/EAIJr07NlTjz76qC6//HI9//zz2rt3b6Pa8380AIgC1JcCjmE8AIgm\ngwcP1l/+8hc9++yz8ng8GjFihG655RatWrXKUHsCGwBEAW99KX+oL4V4w3gAEG127dqlpUuXatmy\nZerUqZMGDhyov//977r33nsDtmXTEQCIAtSXAo5hPACIJiNGjND+/fs1ePBgPf/882rfvr0kaciQ\nIerfv3/A9gQ2AIgS1JcCjmE8AIgWN954oy6++OI6z5WWlio7O1sff/xxwPYRCWzvvfee3nnnHT36\n6KOReHkAiErUZ0M8o94agGizZ88eeTwezZ07V2eddZY8nqMleFwul2666Sa98847hs4T9sA2bdo0\nffTRR+rRo0e4XxoAYgL12RBPqLcGIFrNnTtXn376qX766Sdde+21vuftdrsuvPBCw+cJe2Dr1auX\nBg4cqMWLF4f7pQEgJnnrUXl561FJUuauHZHqFhAUfL4BRKvCwkJJ0rPPPqubb765yecJWWB74403\n9Je//KXOczNmzNBll12mTz/9NFQvCwBxJVA9qvTSEm4TQ9Ti8w0gFgwfPlwLFy5UWVmZ77ZISbr9\n9tsNtQ9ZYLv66qt19dVXh+r0AAAZq0fF7WKIVny+AcSCu+66S2lpaeratassFkuj27NLJABEMW89\nKldyygnHqEeFaMfnG0As2Ldvn1588cUmt6dwNgBEMW89Kn+oR4Vox+cbQCzo0aOHvvrqqya3j8gM\nW58+fdSnT59IvDQAxBwj9ajY8h/RwN/nlHprAKLd119/rSFDhqh169ZKSkqSx+ORxWLR6tWrDbXn\nlkgAiHIN1aNiy39Eg0CfU+qtAYhmTz75ZLPaE9gAIEb4q0fFluiIBkY+p9RbAxBt1q5dqwEDBqio\nqMjv8ezsbEPnIbABQIxiS3REAz6nAGLVli1bNGDAgHpLmg0ePNjQeQhsABCj2BId0YDPKYBYNXr0\naEnHCmjXduTIEcPnIbABQIxiS3REAz6nAGLdu+++q6eeekqHDx+Wx+OR2+3WkSNH9M9//tNQe7b1\nB4AYZXRLdLfV+v/bu/fgqOr7/+OvTZYQks0Fhsv4ZUJsYzNS/FJuAq1N0QwU0VEsMSRAwUwZxeqg\n0RgCDAICuQ0FrRRTpIWBJA4JlVIdOxYidJhBBrkYZ7ABJPKNtlZMmF+AJEAuu78/mKwEkt2TsJez\nu8/HjDPZPXv2vPeC2Vfen/NetfcfIHsYvxLgfbe+3xjdDyDYrV+/XsuXL1dSUpJ+97vfadasWZox\nY4bh/emwAUAQczUSnQmS8CVX7zdG9wMIZrGxsZo8ebJOnjypK1euaPHixZo1a5bh/QlsABDEXI1E\nb0y4hwmS8Bl3kyAZ3Q8gWEVGRur8+fNKSkrSJ598osmTJ+vKlSuG92f9CwCEgDC7XdbrV7ssg3Q1\nmY/lkfAko++3W9+nABAMsrOz9cYbb+ihhx7SkSNH9MADD2jq1KmG96fDBgAhiMl88CXebwBC2cCB\nA/X73/9ekvTuu+/q0qVLOn/+vOH9CWwAEIKYzAdf4v0GIBSdOHFCdrtdK1asUH5+vhyOG+eHt7e3\na/Xq1frHP/5h6H4IbAAQgjon8918TlGnWydIck4ReuvW943R9xsABJOPP/5Yn3zyib777jtnh02S\nrFarMjIyDN8PgQ0AQhQTJOFpTIIEgO8tXrxYkrR371498cQTfb4fAhsAhCgmSMLTmAQJALfbunUr\ngQ0A0HdhdnuXgQ/uJvrF/udLPmjjNkbfN7e+3wAg2CUkJGjZsmX6yU9+osjISOf1RkMcgQ0A0AUT\n/dAXvG8AoHsDBw6UJH322WddriewAQD6pDcT/RhKEpq6e92ZBAkA3SssLJQkXbp0SXFxcb3en29G\nBQB00TnRrzudE/0csqgx4R5dGDVJ3/7vJF0YNUmNCffIIYuPq4UvuXrdjbxvACAUnT59Wg8//LBm\nzpypCxcuaNq0afr8888N709gAwDcJu7rWtm+/Urh11oku13h11pk+/Yr50S/zuESHZEDJEuYc7jE\npYQkP1cOb3L3urt73wBAKFq7dq02b96s+Ph4DRs2TKtXr9aqVasM78+SSADAbVxNkGQoSWgy+roz\nCRIAurp69aqSkr7/g+YDDzyg4uJiw/vTYQMA9CjMbpf1+tUuH7qNDJdA8OnN697d+wYAQlV8fLxO\nnz4ti+XGaQPvvfder85lo8MGAOgVhpIEP4aKAIDnrF69Wnl5efriiy80YcIEJSYmav369Yb3J7AB\nAHqlc7jEzV+Q3OnmoSSXEpJ0NX6IOvr3V/j16xrQWK+4r2tlkcMPVcMIV6+bkdcdAHC7ESNGaNOm\nTYqKipLdbtfFixeVmJhoeH+WRAIAeo2hJMGJoSIA4Hk7d+7U008/raioKF26dEnPPvusKioqDO9P\nhw0A0GsMJQk+DBUBAO+orKxUZWWlJGn48OHas2ePZs+erYyMDEP702EDAPTZnQ4lsYeFqb3/ANnD\n+HXkS9097wwVAQDvaGtrU0REhPNyv379erU/HTYAgEcZGU7BOW7+4fIcNYaKAIBXTJ06VU899ZRm\nzJghSdq3b59SU1MN709gAwB4lJHhFI0J93TZ3nmulCTFf33OZ7WGms5z1Drd+rwzVAQAPC83N1cf\nfvihjh07JqvVqgULFmjq1KmG9yewAQgINfV1GjnE+EQl+FfnEIqr8YPVERGp8NZrGtDYoLiva3t1\njhtfC9A33T1vRp53V68bAKDvkpKSNHjwYDkcN1aRHDt2TPfff7+hfQlsAEytpr6uy8+EtsDgaihJ\nR79It+dKWa5fY8lkH7ha8mjkHDXr9asMFQEAD3vttdd08OBBJSQkOK+zWCzauXOnof0JbABM6eag\nhsAVZrcr7PrVrtcZOFfK3dI9dM/V8xb7ny8Nn6PW3esGAOibw4cP68MPP1RkZGSf9mcsFwDTqKmv\nc/7XHbprwaHzHLfuDGhskCSXS/dunSgZapMme3q87pY8SnL5vNNJAwDvSEhIcC6F7As6bABMgY5a\ncOl8PXsK2a7Olero737JZNj1qyE3adLd4zWy5JFz1ADA9+Li4vToo49q7NixXcb7FxYWGtqfwAbA\n7whrweXW8w57MlKObs+VMjpe3uiyyUAbXNJTve4er5HnzdW5hQAQ7Ox2u1avXq0zZ84oIiJC69at\nU2Li939YPHDggDZv3iyr1aq0tDTNnj3bue3ixYuaNWuWtm3bpqSkJNXU1GjVqlUKDw/X3Xffrfz8\nfIX1sNIjJSVFKSkpfa6bwAbAb3oT1FgOGXw6h8jcdo6bga8FMDLx0GJ3GO7A+SrUuTqOqw6aI8xi\naLKm0bH8nKMGIBRVVVWptbVVFRUVqq6uVlFRkUpKSiTd+HLrwsJC/eUvf9GAAQM0Z84cpaamavDg\nwWpra9PKlSu7nIP2hz/8Qc8//7ymTJminJwc/fOf/+zxu9V+9atf3VHdBDYAfkFYC0697Zb2NPnT\n3dI9I8v/moYOd9uB682ySnehrq9hrPM4rjpotu/+Y2iZKEseAaBnJ06ccHa6xowZo1OnTjm31dbW\nasSIEYqLi5MkjR8/XseOHdOMGTNUXFyszMxMvf32287bjxw5Uo2NjXI4HGpubpbVenusuvfee2Wx\nWJyXLRaLYmNj9bOf/UwrV65UfHy8oboJbAB8jrCGm3UX2twt3XO3/E/tbYY6UkaWVboLW3caxuK/\nPue2Y2j75v8MLRNlySMA9KypqUk2m815OTw8XO3t7bJarWpqalJMTIxzW3R0tJqamrRnzx4NGjRI\nKSkpXQLb3XffrTVr1qikpEQxMTGaNGnSbcc7ffr0bdc1NDSosrJSa9as0caNGw3VTWAD4FOcrxa8\nvPHa9rR0z93yP1n7ue1Iqe26R0LdnYaxznDlql5Z+xle7iix5BGAucUmDlXc0O7/v3gnWr5zHW1s\nNpuam5udl+12u7Mzduu25uZmxcTEqLS0VBaLRUeOHFFNTY3y8vJUUlKi/Px8lZeX60c/+pHKy8tV\nVFSkVatWua1x8ODBeu655/Too48aflyhMQMZgCn09gM93bXQ0ZewF/d1rWzffqXway2S3a7way2y\nffuV4r6udXbgutPZkTKyrNJd2GoPt7r9CgIjxzFSr6vHCwBwb9y4cTp06JAkqbq6WsnJyc5tSUlJ\nqqurU2Njo1pbW3X8+HGNHTtW5eXlKisrU2lpqUaOHKni4mINGTJEcXFxzm7d0KFDdfny5V7V0q9f\nP8O3pcMGwCcIa3Cnp/PZeuJq+Z/F7nDfkTIwVdFd2GqPshkOY66OY3RgCMsdAaDvpk2bpsOHDysz\nM1MOh0MFBQV6//331dLSooyMDC1dulQLFy6Uw+FQWlqahg0b1uN9rVu3Ti+99JKsVqv69euntWvX\nGq5j3759hs9fkwhsAHyAZZDBz1OvcW9Dm9Tz8j93AzgMhSQ3Ycva0uSxMGZ0YAjLHQGgb8LCwrRm\nzZou1yUlJTl/Tk1N7XHSoySVlpY6f54wYYJ27drl8nipqaldho5IN86jS0xM1Pr16w3XTWAD4FV9\n+SBPdw2eYGQAx52GOmtHu8fCGANDACC43BzwpBuBMTY2VtHR0b26HwIbAK8hrIUGT3dQ+9Jlc8VV\nR8oToc7TYYwOGgAEh+HDh3vkfghsALyCZZAIJHcS6ghjAABvIrAB8Dg6a7hTnu6yeYK7sEUYAwB4\nA2P9AXgUYS200EkFAMC7CGwA/Iqwhp4QBgEAILAB8CC+aw0AAMCzCGwA/IKwFvh80QGjywYACHUE\nNgAe0ZsP1oQ1AAAAYwhsAHyKsIbeossGAAhlBDYAHuEuiI0ckkhYAwAA6CW+hw2AVxHSghNdLwAA\nfIMOGwCPuTmc0VGDJxEQAQChig4bAI8ipAEAAHgOHTYAAAAAMCkCGwAgILAsEgAQighsAIBeITgB\nAOA7BDYAAAAAMCkCGwAgYNDdAwCEGgIbAAAAAJgUgQ0AAAAATIrABgAwjCWJAAD4FoENABBQCI0A\ngFBCYAMAAAAAkyKwAQAAAIBJEdgAAAAAwKQIbAAAQ8x07piZagEAwJsIbAAAAABgUgQ2AAAAADAp\nAhsAAAAAmBSBDQAQkDiPDQAQCghsAAC3CEcAAPgHgQ0AAAAATMrqy4NduXJFubm5ampqUltbm5Yu\nXaqxY8f6sgQAAAAACBg+DWzbt2/X5MmTlZWVpS+//FI5OTn661//6ssSAAAAACBg+DSwZWVlKSIi\nQpLU0dGh/v37+/LwAIAgU1Nfp5FDEv1dBgAAXuO1wLZ7927t2LGjy3UFBQUaPXq06uvrlZubq+XL\nl3vr8AAAD2HgCAAA/uO1wJaenq709PTbrj9z5oxefvllLVmyRBMnTvTW4QEAAAAg4Pl0SeS5c+f0\n4osv6o033tC9997ry0MDAAAAQMDxaWDbsGGDWltblZ+fL0my2WwqKSnxZQkAAAAAEDB8GtgIZwAQ\nWDh/DQAA/+KLswEAAY1QCQAIZgQ2AAAAADApAhsAoFt0rgAA8D8CGwAAAACYFIENAAAAAEyKwAYA\nuA3LIQEAMAcCGwAAAACYFIENABDw6AgCAIIVgQ0A0AXhBwAA8yCwAQAAAIBJEdgAAE501wAAMBcC\nGwAAAACYFIENACCJ7hoAILjZ7XatXLlSGRkZmj9/vurquv7eO3DggNLS0pSRkaHKysou2y5evKgp\nU6aotrZWklRXV6c5c+Zo7ty5WrVqlex2u9fqJrABAAAACHpVVVVqbW1VRUWFcnJyVFRU5NzW1tam\nwsJCbdu2TaWlpaqoqFBDQ4Nz28qVKxUZGem8fWFhobKzs/XOO+/I4XDoo48+8lrdBDYAAN01AEDQ\nO3HihFJSUiRJY8aM0alTp5zbamtrNWLECMXFxSkiIkLjx4/XsWPHJEnFxcXKzMzU0KFDnbf//PPP\nNXHiREnSL37xC3388cdeq5vABgAICoROAIArTU1Nstlszsvh4eFqb293bouJiXFui46OVlNTk/bs\n2aNBgwY5g14nh8Mhi8XivO2VK1e8VrfVa/cMAAgIBB0AgC9FJYyQ7X/u8vz99h/gcrvNZlNzc7Pz\nst1ul9Vq7XZbc3OzYmJiVFpaKovFoiNHjqimpkZ5eXkqKSlRWFhYl9vGxsZ6+NF8jw4bAAAAgKA3\nbtw4HTp0SJJUXV2t5ORk57akpCTV1dWpsbFRra2tOn78uMaOHavy8nKVlZWptLRUI0eOVHFxsYYM\nGaIf//jHOnr0qCTp0KFDmjBhgtfqpsMGACGM7hoAIFRMmzZNhw8fVmZmphwOhwoKCvT++++rpaVF\nGRkZWrp0qRYuXCiHw6G0tDQNGzasx/vKy8vTq6++qo0bN+qHP/yhpk+f7rW6CWwAEKIIawCAUBIW\nFqY1a9Z0uS4pKcn5c2pqqlJTU3vcv7S01PnzD37wA5WVlXm+yG4Q2AAgxBDUAAAIHJzDBgAhJNjD\nWrA/PgBA6KHDBgAhgCADAEBgosMGAEGOsAYAQOAisAFAECOsAQAQ2AhsABCkCGsAAAQ+AhsABKFQ\nDmuh/NgBAMGHwAYAQYbAAgBA8CCwAUAQIawBABBcCGwAECQIawAABB8CGwAEAcIaAADBicAGAAAA\nACZFYAOAAEd37XY8JwCAYEFgAwAAAACTIrABQACjkwQAQHAjsAEAAACASRHYACBA0V0DACD4EdgA\nAAAAwKQIbAAAAABgUgQ2AAhALIcEACA0ENgAAAAAwKQIbAAQYOiuGcPzBAAIBgQ2AAAAADApAhsA\nBBC6RgAAhBYCGwAAAACYFIENAAIE3TUAAEIPgQ0AAAAATIrABgABgO4aAAChicAGAAAAACZFYAMA\nAAAAkyKwAYDJsRwSAIDQRWADAAAAAJMisAEAAACASRHYAMDEWA4JAEBoI7ABAAAAgEkR2AAAQYsO\nJQAg0BHYAMCkCBsAAIDABgAAAAAmRWADABOiuwYAACQCGwAAAACYFoENAAAAAEyKwAYAJsNySAAA\n0InABgAAAAAmRWADAAAAAJMisAGAibAcEgAA3IzABgAAAAAmRWADAJOguwYAAG5FYAMAAAAAkyKw\nAQAAAIBJEdgAwARYDgkAALpDYAMAAAAAkyKwAYCf0V0DAAA9IbABAAAAgElZfXmwlpYW5eTk6PLl\ny+rXr5+Ki4s1bNgwX5YAAAgxNfV1Gjkk0d9lAAD8zG63a/Xq1Tpz5owiIiK0bt06JSZ+//vhwIED\n2rx5s6xWq9LS0jR79mx1dHRoxYoVOn/+vCwWi1577TUlJyerpqZGa9euVXh4uCIiIlRcXKzBgwd7\npW6fdtgqKys1atQolZeX6/HHH9fWrVt9eXgAMB2WQwIA4BtVVVVqbW1VRUWFcnJyVFRU5NzW1tam\nwsJCbdu2TaWlpaqoqFBDQ4MOHjwoSdq1a5eys7P1+uuvS5Ly8/P16quvqrS0VNOmTfNqrvFphy0r\nK0sdHR2SpG+++UaxsbG+PDwAAACAEHXixAmlpKRIksaMGaNTp045t9XW1mrEiBGKi4uTJI0fP17H\njh3TjBkz9OCDD0rqml82btyooUOHSpI6OjrUv39/r9XttcC2e/du7dixo8t1BQUFGj16tBYsWKCz\nZ89q+/btLu+jM9xd67jmrTIBwK/aHa3+LiEkXO1o8XcJAOBRnZ+POz8vB5IL333nl/ttamqSzWZz\nXg4PD1d7e7usVquampoUExPj3BYdHa2mpiZJktVqVV5envbv368333xTkpxh7eTJkyorK1N5ebmn\nH46T1wJbenq60tPTu922c+dO1dbWatGiRaqqqurxPurr6yVJn/6/T7xSIwAgNNQ31Pq7BADwivr6\n+i7nYZmZzWZTXFycnnrmOa8dIy4urksou/X4zc3Nzst2u11Wq7Xbbc3NzV0CXHFxsV555RXNnj1b\nH3zwgaKiovT3v/9dJSUlevvttzVo0CAvPSIfL4ncsmWLhg0bpieeeELR0dEKDw93efv77rtP5eXl\nGjJkiNvbAgAAAKGio6ND9fX1uu+++/xdimHx8fHat2+fs3PlDTabTfHx8d1uGzdunA4ePKhHHnlE\n1dXVSk5Odm5LSkpSXV2dGhsbFRUVpePHj2vhwoXau3evLly4oEWLFmnAgAGyWCwKCwvT3/72N1VU\nVKi0tLTH43mKxeFwOLx6hJs0NDQoLy9Pra2t6ujoUE5OjsaPH++rwwMAAAAIUZ1TIs+ePSuHw6GC\nggL961//UktLizIyMpxTIh0Oh9LS0jRv3jy1tLRo2bJlamhoUHt7u55++mk99NBD+ulPf6q77rrL\neU7b/fffrxdeeMErdfs0sAEAAAAAjOOLswEAAADApAhsAAAAAGBSBDYAAAAAMClTB7aWlhb99re/\n1bx585SVlaULFy74uyR40JUrV/Tss8/q17/+tTIyMvTpp5/6uyR42P79+5WTk+PvMnCH7Ha7Vq5c\nqYyMDM2fP191dXX+Lgke9tlnn2n+/Pn+LgMe1NbWptzcXM2dO1dPPvmkPvroI3+XBA/q6OjQsmXL\nlJmZqTlz5ujs2bP+LgleZOrAVllZqVGjRqm8vFyPP/64tm7d6u+S4EHbt2/X5MmTVVZWpsLCQq1Z\ns8bfJcGD1q1bpw0bNshut/u7FNyhqqoqtba2qqKiQjk5OSoqKvJ3SfCgrVu3asWKFbp+/bq/S4EH\nvffee4qPj9c777yjP/3pT1q7dq2/S4IHHTx4UJK0a9cuZWdn6/XXX/dzRfAmn34PW29lZWU5v739\nm2++cY7NRHDIyspSRESEpBt/Kerfv7+fK4InjRs3TlOnTlVFRYW/S8EdOnHihFJSUiRJY8aM0alT\np/xcETxpxIgR2rRpk5YsWeLvUuBBDz/8sKZPny5JcjgcfJ9tkJk6daoefPBBSXxGDgWmCWy7d+/W\njh07ulxXUFCg0aNHa8GCBTp79qy2b9/up+pwp1y9vvX19crNzdXy5cv9VB3uRE+v7SOPPKKjR4/6\nqSp4UlNTk2w2m/NyeHi42tvbZbWa5lcI7sD06dP173//299lwMOio6Ml3fj3+8ILLyg7O9vPFcHT\nrFar8vLytH//fr355pv+LgdeZJrftunp6UpPT+92286dO1VbW6tFixapqqrKx5XBE3p6fc+cOaOX\nX35ZS5Ys0cSJE/1QGe6Uq3+7CA42m03Nzc3Oy3a7nbAGBID//ve/ev755zV37lw99thj/i4HXlBc\nXKxXXnlFs2fP1gcffKCoqCh/lwQvMPU5bFu2bNHevXsl3fhLEe384HLu3Dm9+OKL2rBhg6ZMmeLv\ncgD0YNy4cTp06JAkqbq6WsnJyX6uCIA7DQ0N+s1vfqPc3Fw9+eST/i4HHrZ3715t2bJFkjRgwABZ\nLBaFhZn6Yz3ugKn/RJqWlqa8vDy9++676ujoUEFBgb9Lggdt2LBBra2tys/Pl3Tjr/glJSV+rgrA\nraZNm6bDhw8rMzNTDoeD/xcDAeCPf/yjLl++rLfeektvvfWWpBsDZiIjI/1cGTzhl7/8pZYtW6Z5\n8+apvb1dy5cv57UNYhaHw+HwdxEAAAAAgNvROwUAAAAAkyKwAQAAAIBJEdgAAAAAwKQIbAAAAABg\nUgQ2AAAAADApAhsAoEdHjx7Vz3/+c128eNF53Z///GctXrzYj1UBABA6CGwAgB5NmjRJjz32mFas\nWCHpxhdnV1RUOL8/EQAAeBffwwYAcKm1tVXp6elKS0tTWVmZiouLNXbsWH+XBQBASCCwAQDc+uKL\nLzRz5kw988wzys7O9nc5AACEDJZEAgDcOnnypAYOHKgjR46ovb3d3+UAABAyCGwAAJfOnTunTZs2\nadeuXYqIiFBJSYm/SwIAIGQQ2AAAPbp+/bpeeukl5ebmKiEhQUVFRSorK1N1dbW/SwMAICQQ2AAA\nPSooKFBycrJmzpwpSRo+fLiWLVum3NxcNTc3+7k6AACCH0NHAAAAAMCk6LABAAAAgEkR2AAAAADA\npAhsAAAAAGBSBDYAAAAAMCkCGwAAAACYFIENAAAAAEyKwAYAAAAAJkVgAwAAAACT+v/YY0BDMRI2\nGQAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x12a37f490>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "cmap = sns.cubehelix_palette(light=1, as_cmap=True)\n",
    "fig, ax = plt.subplots(figsize=(16, 9))\n",
    "contour = ax.contourf(grid[0], grid[1], ppc.std(axis=0).reshape(100, 100), cmap=cmap)\n",
    "ax.scatter(X_test[pred==0, 0], X_test[pred==0, 1])\n",
    "ax.scatter(X_test[pred==1, 0], X_test[pred==1, 1], color='r')\n",
    "cbar = plt.colorbar(contour, ax=ax)\n",
    "_ = ax.set(xlim=(-3, 3), ylim=(-3, 3), xlabel='X', ylabel='Y');\n",
    "cbar.ax.set_ylabel('Uncertainty (posterior predictive standard deviation)');"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now that we trained our model, lets predict on the hold-out set using a posterior predictive check (PPC). We use [`sample_ppc()`](http://pymc-devs.github.io/pymc3/api.html#pymc3.sampling.sample_ppc) to generate new data (in this case class predictions) from the posterior (sampled from the variational estimation)."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# Replace shared variables with testing set\n",
    "ann_input.set_value(X_test)\n",
    "ann_output.set_value(Y_test)\n",
    "\n",
    "# Creater posterior predictive samples\n",
    "ppc = pm.sample_ppc(trace, model=neural_network, samples=500)\n",
    "\n",
    "# Use probability of > 0.5 to assume prediction of class 1\n",
    "pred = ppc['out'].mean(axis=0) > 0.5"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "fig, ax = plt.subplots()\n",
    "ax.scatter(X_test[pred==0, 0], X_test[pred==0, 1])\n",
    "ax.scatter(X_test[pred==1, 0], X_test[pred==1, 1], color='r')\n",
    "sns.despine()\n",
    "ax.set(title='Predicted labels in testing set', xlabel='X', ylabel='Y');"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "print('Accuracy = {}%'.format((Y_test == pred).mean() * 100))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Hey, our neural network did all right!"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Lets look at what the classifier has learned\n",
    "\n",
    "For this, we evaluate the class probability predictions on a grid over the whole input space."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "grid = np.mgrid[-3:3:100j,-3:3:100j]\n",
    "grid_2d = grid.reshape(2, -1).T\n",
    "dummy_out = np.ones(grid.shape[1], dtype=np.int8)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "ann_input.set_value(grid_2d)\n",
    "ann_output.set_value(dummy_out)\n",
    "\n",
    "# Creater posterior predictive samples\n",
    "ppc = pm.sample_ppc(trace, model=neural_network, samples=500)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Probability surface"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "cmap = sns.diverging_palette(250, 12, s=85, l=25, as_cmap=True)\n",
    "fig, ax = plt.subplots(figsize=(10, 6))\n",
    "contour = ax.contourf(*grid, ppc['out'].mean(axis=0).reshape(100, 100), cmap=cmap)\n",
    "ax.scatter(X_test[pred==0, 0], X_test[pred==0, 1])\n",
    "ax.scatter(X_test[pred==1, 0], X_test[pred==1, 1], color='r')\n",
    "cbar = plt.colorbar(contour, ax=ax)\n",
    "_ = ax.set(xlim=(-3, 3), ylim=(-3, 3), xlabel='X', ylabel='Y');\n",
    "cbar.ax.set_ylabel('Posterior predictive mean probability of class label = 0');"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Uncertainty in predicted value\n",
    "\n",
    "So far, everything I showed we could have done with a non-Bayesian Neural Network. The mean of the posterior predictive for each class-label should be identical to maximum likelihood predicted values. However, we can also look at the standard deviation of the posterior predictive to get a sense for the uncertainty in our predictions. Here is what that looks like:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "cmap = sns.cubehelix_palette(light=1, as_cmap=True)\n",
    "fig, ax = plt.subplots(figsize=(10, 6))\n",
    "contour = ax.contourf(*grid, ppc['out'].std(axis=0).reshape(100, 100), cmap=cmap)\n",
    "ax.scatter(X_test[pred==0, 0], X_test[pred==0, 1])\n",
    "ax.scatter(X_test[pred==1, 0], X_test[pred==1, 1], color='r')\n",
    "cbar = plt.colorbar(contour, ax=ax)\n",
    "_ = ax.set(xlim=(-3, 3), ylim=(-3, 3), xlabel='X', ylabel='Y');\n",
    "cbar.ax.set_ylabel('Uncertainty (posterior predictive standard deviation)');"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "We can see that very close to the decision boundary, our uncertainty as to which label to predict is highest. You can imagine that associating predictions with uncertainty is a critical property for many applications like health care. To further maximize accuracy, we might want to train the model primarily on samples from that high-uncertainty region."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Mini-batch ADVI: Scaling data size\n",
    "\n",
    "So far, we have trained our model on all data at once. Obviously this won't scale to something like ImageNet. Moreover, training on mini-batches of data (stochastic gradient descent) avoids local minima and can lead to faster convergence.\n",
    "\n",
    "Fortunately, ADVI can be run on mini-batches as well. It just requires some setting up:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# Set back to original data to retrain\n",
    "ann_input.set_value(X_train)\n",
    "ann_output.set_value(Y_train)\n",
    "\n",
    "# Tensors and RV that will be using mini-batches\n",
    "minibatch_tensors = [ann_input, ann_output]\n",
    "minibatch_RVs = [out]\n",
    "\n",
    "# Generator that returns mini-batches in each iteration\n",
    "def create_minibatch(data):\n",
    "    rng = np.random.RandomState(0)\n",
    "    \n",
    "    while True:\n",
    "        # Return random data samples of set size 100 each iteration\n",
    "        ixs = rng.randint(len(data), size=50)\n",
    "        yield data[ixs]\n",
    "\n",
    "minibatches = [\n",
    "    create_minibatch(X_train), \n",
    "    create_minibatch(Y_train),\n",
    "]\n",
    "\n",
    "total_size = len(Y_train)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "While the above might look a bit daunting, I really like the design. Especially the fact that you define a generator allows for great flexibility. In principle, we could just pool from a database there and not have to keep all the data in RAM. \n",
    "\n",
    "Lets pass those to `advi_minibatch()`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "%%time\n",
    "\n",
    "with neural_network:\n",
    "    # Run advi_minibatch\n",
    "    v_params = pm.variational.advi_minibatch(\n",
    "        n=50000, minibatch_tensors=minibatch_tensors, \n",
    "        minibatch_RVs=minibatch_RVs, minibatches=minibatches, \n",
    "        total_size=total_size, learning_rate=1e-2, epsilon=1.0\n",
    "    )"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "with neural_network:    \n",
    "    trace = pm.variational.sample_vp(v_params, draws=5000)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "plt.plot(v_params.elbo_vals)\n",
    "plt.ylabel('ELBO')\n",
    "plt.xlabel('iteration')\n",
    "sns.despine()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "As you can see, mini-batch ADVI's running time is much lower. It also seems to converge faster.\n",
    "\n",
    "For fun, we can also look at the trace. The point is that we also get uncertainty of our Neural Network weights."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "pm.traceplot(trace);"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Summary\n",
    "\n",
    "Hopefully this blog post demonstrated a very powerful new inference algorithm available in [PyMC3](http://pymc-devs.github.io/pymc3/): [ADVI](http://pymc-devs.github.io/pymc3/api.html#advi). I also think bridging the gap between Probabilistic Programming and Deep Learning can open up many new avenues for innovation in this space, as discussed above. Specifically, a hierarchical neural network sounds pretty bad-ass. These are really exciting times.\n",
    "\n",
    "## Next steps\n",
    "\n",
    "[`Theano`](http://deeplearning.net/software/theano/), which is used by `PyMC3` as its computational backend, was mainly developed for estimating neural networks and there are great libraries like [`Lasagne`](https://github.com/Lasagne/Lasagne) that build on top of `Theano` to make construction of the most common neural network architectures easy. Ideally, we wouldn't have to build the models by hand as I did above, but use the convenient syntax of `Lasagne` to construct the architecture, define our priors, and run ADVI. \n",
    "\n",
    "While we haven't successfully run `PyMC3` on the GPU yet, it should be fairly straight forward (this is what `Theano` does after all) and further reduce the running time significantly. If you know some `Theano`, this would be a great area for contributions!\n",
    "\n",
    "You might also argue that the above network isn't really deep, but note that we could easily extend it to have more layers, including convolutional ones to train on more challenging data sets.\n",
    "\n",
    "I also presented some of this work at PyData London, view the video below:\n",
    "<iframe width=\"560\" height=\"315\" src=\"https://www.youtube.com/embed/LlzVlqVzeD8\" frameborder=\"0\" allowfullscreen></iframe>\n",
    "\n",
    "Finally, you can download this NB [here](https://github.com/twiecki/WhileMyMCMCGentlySamples/blob/master/content/downloads/notebooks/bayesian_neural_network.ipynb). Leave a comment below, and [follow me on twitter](https://twitter.com/twiecki).\n",
    "\n",
    "## Acknowledgements\n",
    "\n",
    "[Taku Yoshioka](https://github.com/taku-y) did a lot of work on ADVI in PyMC3, including the mini-batch implementation as well as the sampling from the variational posterior. I'd also like to the thank the Stan guys (specifically Alp Kucukelbir and Daniel Lee) for deriving ADVI and teaching us about it. Thanks also to Chris Fonnesbeck, Andrew Campbell, Taku Yoshioka, and Peadar Coyle for useful comments on an earlier draft."
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.6.9"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 1
}
